state transition diagram example