State Transition Diagramming