@inproceedings {308,
	title = {Run-time Verification of Statechart Implementations},
	booktitle = {Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems},
	year = {2005},
	month = {2005},
	pages = {46 - 47},
	publisher = {BME},
	organization = {BME},
	url = {http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2005-ms-run-time-verification-of-statechart-implementations.pdf},
	author = {Gergely Pint{\'e}r and Istv{\'a}n Majzik}
}
