@inproceedings{DBLP:conf/sac/BorgerRC03, title = "Modeling the Meaning of Transitions from and to Concurrent States in {UML} State Machines", author = "Egon B{\"o}rger and Elvinia Riccobene and Alessandra Cavarra", year = "2003", booktitle = "Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA", pages = "1086-1091", publisher = "ACM", }