@inproceedings {330,
	title = {Formal Validation of UML Statechart Diagrams Models},
	booktitle = {UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language)},
	year = {2000},
	month = {2000},
	pages = {* - 7},
	url = {http://mycite.omikk.bme.hu/doc/16334.pdf},
	author = {Stefania Gnesi and Diego Latella and Istv{\'a}n Majzik and Mieke Massink}
}
