StateTracker
This is a very simple model by David Hermann, (Research in Motion)
outputs which state it is in. It also demonstrates Transition
Refinements by appending a string to the output in the refinements.
The block diagram
for the model was constructed using the Ptolemy II schematic editor
called Vergil.