@book{
  international2000iaea,
  title={Regulatory Review of Probabilistic Safety Assessment (PSA) – Level 1},
  series={TECDOC Series},
  number={1135},
  year={2000},
  url={https://www.iaea.org/publications/5934/regulatory-review-of-probabilistic-safety-assessment-psa-level-1},
  publisher={INTERNATIONAL ATOMIC ENERGY AGENCY},
  address={Vienna}
}