For example, they display something, move a motor, or send a notification to another system. A reactive system is best represented by a state machine – a system ... we can now generate C or C++ code ...

The state machine engine can easily be instrumented (an example is available in code accompanying ... We then describe our implementation using UML class diagrams and provide a complete implementation ...