S. Jansamak, A. Surarerks. Formalization of UML Statechart Models Using Concurrent Regular Expressions. In Vladimir Estivill-Castro, editor, Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004. Volume 26 of CRPIT, pages 83-88, Australian Computer Society, 2004. [doi]
Abstract is missing.