Modeling the Dynamics of UML State Machines - Börger, E; Cavarra, A; Riccobene, E (Springer, 2000)