@inbook {328, title = {Towards a Formal Operational Semantics of UML Statechart Diagrams}, booktitle = {Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS{\textquoteright}99), February 15-18, 1999, Florence, Italy)}, year = {1999}, month = {1999}, pages = {331 - 347}, publisher = {Kluwer Academic Publishers}, organization = {Kluwer Academic Publishers}, address = {Deventer}, url = {http://mycite.omikk.bme.hu/doc/16331.pdf}, author = {Diego Latella and Istv{\'a}n Majzik and Mieke Massink} }