TITLE : Towards a formal operational semantics of UML statechart diagrams AUTHOR(S) : Latella D, Majzik I, Massink M TYPE : Conference article YEAR : 1999 CODE : 190556 *** DO NOT EDIT THIS FILE ***