Formalization of UML Statechart Models Using Concurrent Regular Expressions. - S. Jansamak; Athasit Surarerks (ACSC, 2004)