@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}
}
