IAEA-TECDOC-724 Probabilistic safety assessment for seismic events INTERNATIONAL ATOMIC ENERGY AGENCY Pu/j-\ The IAEA does not normally maintain stocks of reports in this…