For example, there are instruments for modeling and designing logic for embedded controllers. They mix hierarchical state machines (which normally have more than one present state), flow graphs, and reality tables into one language, leading to a unique formalism and set of semantics. These charts, like Harel’s unique state machines, assist hierarchically nested states, orthogonal areas, state actions, and transition actions. […]
