@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}
}