icse15: Add StateMachine diagram