icse15: Make StateMachine_MAVO subtype of MAVOModel