icse15: Add StateMachine_MAVO diagram specs