Xuede Zhan, Huaikou Miao, Ling Liu. Formalizing the Semantics of UML Statecharts with Z*. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 1116-1121, IEEE Computer Society, 2004. [doi]
Abstract is missing.