icse15: Add StateMachine_MAVO model type and editor