State-transition Diagrams