Exercise for UML StateMachines/QVTO