@inbook {3077,
	title = {Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications},
	booktitle = {Formal Methods for Industrial Critical Systems},
	year = {2009},
	month = {2009},
	pages = {199 - 214},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	author = {Tam{\'a}s Bartha and Erzs{\'e}bet N{\'e}met},
	editor = {Darren Cofer and Alessandro Fantechi}
}
