Michael von der Beeck. Formalization of UML-Statecharts. In Martin Gogolla, Cris Kobryn, editors, «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Volume 2185 of Lecture Notes in Computer Science, pages 406-421, Springer, 2001. [doi]
Abstract is missing.