@article {3078, title = {Development of safety software for the Paks Nuclear Power Plant}, journal = {ERCIM News}, year = {2008}, month = {2008}, pages = {53 - 54}, isbn = {0926-4981}, author = {Tam{\'a}s Bartha and I Varga} }