@inbook {3085,
	title = {Formal verification of function block based specifications of safety-critical software},
	booktitle = {Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises},
	year = {2006},
	month = {2006///},
	pages = {211 - 218},
	publisher = {MTA SZTAKI - Amulett{\textquoteright}98},
	organization = {MTA SZTAKI - Amulett{\textquoteright}98},
	address = {Budapest},
	author = {E. N{\'e}meth and Tam{\'a}s Bartha},
	editor = {L. Monostori and E. Ilie-Zudor}
}
