Furthermore, unlike a diagram on a piece of paper or in a drawing application, modeling tools have a formal understanding of what a state machine is. This enables them (and you) to simulate and test ...

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