State machines are an ideal paradigm for developing reactive systems. The most significant characteristic of these reactive systems is that they interact with their environment using sensors and ...

A nice aspect of the state machine concept is its compelling graphical representation in the form of state diagrams. In the modern Unified Modeling Language (UML 2.5) notation [3], states are ...