@inproceedings {331,
	title = {Checking General Safety Criteria on UML Statecharts},
	booktitle = {Computer Safety, Reliability and Security},
	year = {2001},
	month = {2001},
	pages = {46 - 55},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Berlin ; Heidelberg},
	author = {Zsigmond Pap and Istv{\'a}n Majzik and Andr{\'a}s Pataricza}
}
