4.2.3 State-transition diagrams