@book{
internationaliaea,
title={Reliability of Computerized Safety Systems at Nuclear Power Plants},
series={TECDOC Series},
number={790},
year={},
url={http://www.dgdingfa.net/publications/5435/reliability-of-computerized-safety-systems-at-nuclear-power-plants},
publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
address={Vienna}
}