@inbook {343,
	title = {Error Detection in Control Flow of Event-Driven State Based Applications},
	booktitle = {Software Engineering of Fault Tolerant Systems},
	year = {2007},
	month = {2007},
	pages = {150 - 174},
	publisher = {World Scientific Publishing Co.},
	organization = {World Scientific Publishing Co.},
	address = {New Jersey},
	url = {http://mycite.omikk.bme.hu/doc/16353.pdf},
	author = {Gergely Pint{\'e}r and Istv{\'a}n Majzik},
	editor = {Patrizio Pelliccione and Henry Muccini and Nicolas Guelfi and Alexander Romanovsky}
}
