@book{ international1992iaea, title={Case Study on the Use of Psa Methods: Assessment of Technical Specifications for the Reactor Protection System Instrumentation}, series={TECDOC Series}, number={669}, year={1992}, url={https://www.iaea.org/publications/931/case-study-on-the-use-of-psa-methods-assessment-of-technical-specifications-for-the-reactor-protection-system-instrumentation}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }