@book{
      international1992iaea,
      title={Case Study on the Use of Psa Methods: Assessment of Technical Specifications for the Reactor Protection System Instrumentation},
      author={ },
      series={entity},
      number={669 },
      year={1992},
      isbn={ },
      url={/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}
    }