State Transition Diagrams