State Machines Solution
State Machines module
Allows you to design, model, and implement complex control and scheduling applications using the statecharts notation.
You can simulate statecharts in Xcos or generate embedded C code from statecharts (this feature requires Equalis Coder and Embedded Coder module).
Statecharts is a popular visual formalism for specifying reactive systems which was introduced by D. Harel.
It extends conventional state transition diagrams with the notions of a hierarchy, concurrency, and communication which make it well suited for describing event-driven behaviors.