Xuede Zhan, Huaikou Miao. An Approach to Formalizing the Semantics of UML Statecharts. In Paolo Atzeni, Wesley W. Chu, Hongjun Lu, Shuigeng Zhou, Tok Wang Ling, editors, Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings. Volume 3288 of Lecture Notes in Computer Science, pages 753-765, Springer, 2004. [doi]
Abstract is missing.