EventdrivenprogrammingHierarchicalstatemachinesReal-timeframeworks