@inproceedings {329,
	title = {Completeness and Consistency Analysis of UML Statechart  Specifications},
	booktitle = {11th European Workshop on Dependable Computing (EWDC-11)},
	year = {2000},
	month = {2000},
	pages = {6 - },
	address = {Budapest},
	url = {http://mycite.omikk.bme.hu/doc/16332.pdf},
	author = {Zsigmond Pap and Istv{\'a}n Majzik and Andr{\'a}s Pataricza and Andr{\'a}s Szegi}
}
