@book{ international1993iaea, title={Risk Based Optimization of Technical Specifications for Operation of Nuclear Power Plants}, series={TECDOC Series}, number={729}, year={1993}, url={http://www.dgdingfa.net/publications/991/risk-based-optimization-of-technical-specifications-for-operation-of-nuclear-power-plants}, publisher={INTERNATIONAL ATOMIC ENERGY AGENCY}, address={Vienna} }