@inproceedings {332,
	title = {Completeness and Consistency Analysis of UML Statechart Specifications},
	booktitle = {Proc. IEEE Design and Diagnostics of Electronic Circuits  and Systems Workshop (DDECS 2001)},
	year = {2001},
	month = {2001},
	pages = {83 - 90},
	publisher = {SZIF-Universitas},
	organization = {SZIF-Universitas},
	url = {http://mycite.omikk.bme.hu/doc/16337.pdf},
	author = {Zsigmond Pap and Istv{\'a}n Majzik and Andr{\'a}s Pataricza and Andr{\'a}s Szegi},
	editor = {J Hlavicka and M Renovell and Andr{\'a}s Pataricza and J Sziray and Bal{\'a}zs Beny{\'o}}
}
