Probabilistic safety assessment (Internat. Atomic Energy Agency, 1992)