generated at
state transition diagram