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 ...