@article {3088,
	title = {Implementation of a testing and diagnostic concept for an NPP reactor protection system},
	journal = {Lecture Notes in Computer Science},
	volume = {3463},
	year = {2005},
	month = {2005},
	pages = {391 - 402},
	isbn = {0302-9743},
	author = {Tam{\'a}s Bartha and I Varga and A. Soumelidis and G. Szab{\'o}}
}
