Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines - Börger, E; Riccobene, E; Cavarra, A (ACM, 2003)