@inproceedings {3087,
	title = {Formal Modelling and Verification of Specifications for the I\&C System Software in NPPs},
	year = {2006},
	note = {Art. No.: 11On CD},
	month = {2006},
	author = {Tam{\'a}s Bartha and E. N{\'e}meth},
	editor = {Atoosa P-J Thunem}
}
