@book{ international1994iaea, title={PSA for the Shutdown Mode for Nuclear Power Plants}, series={TECDOC Series}, number={751}, year={1994}, url={https://www.iaea.org/publications/5396/psa-for-the-shutdown-mode-for-nuclear-power-plants}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }