State transition diagrams