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