StateTracker

StateTracker is available as:

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.