@book{ international1991iaea, title={Use of Probabilistic Safety Assessment to Evaluate Nuclear Power Plant Technical Specifications}, series={TECDOC Series}, number={599}, year={1991}, url={http://www.dgdingfa.net/publications/855/use-of-probabilistic-safety-assessment-to-evaluate-nuclear-power-plant-technical-specifications}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }