@book{
      international1995iaea,
      title={Reliability of Computerized Safety Systems at Nuclear Power Plants},
      author={ },
      series={entity},
      number={790 },
      year={1995},
      isbn={ },
      url={/publications/5435/reliability-of-computerized-safety-systems-at-nuclear-power-plants },
      publisher={INTERNATIONAL ATOMIC ENERGY AGENCY },
      address={Vienna}
    }