Egon Börger, Elvinia Riccobene, Alessandra Cavarra. Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA. pages 1086-1091, ACM, 2003.
Abstract is missing.