@inproceedings {335,
	title = {Verification of UML Statechart Models of Embedded Systems},
	booktitle = {Proc. IEEE Design and Diagnostics of Electronic Circuits  and Systems Workshop (DDECS 2002)},
	year = {2002},
	month = {2002},
	pages = {70 - 77},
	publisher = {Brno University of Technology},
	organization = {Brno University of Technology},
	url = {http://mycite.omikk.bme.hu/doc/16342.pdf},
	author = {{\'A}d{\'a}m Darvas and Istv{\'a}n Majzik and Bal{\'a}zs Beny{\'o}}
}
