@article {3076,
	title = {Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets},
	journal = {Reliability Engineering \& System Safety},
	volume = {94},
	year = {2009},
	note = {UT: 000264542300006},
	month = {2009},
	pages = {942 - 953},
	isbn = {0951-8320},
	author = {E. N{\'e}meth and Tam{\'a}s Bartha and Cs Fazekas and K M Hangos}
}
