6.2.2 State Transition Diagrams