@book{ international1996iaea, title={Technical Feasibility and Reliability of Passive Safety Systems for Nuclear Power Plants}, series={TECDOC Series}, number={920}, year={1996}, url={https://www.iaea.org/publications/5571/technical-feasibility-and-reliability-of-passive-safety-systems-for-nuclear-power-plants}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }