add fsm diagram