Procedures for conducting probabilistic safety assessments of nuclear power plants (Level 2) : accident progression, containment analysis and estimates of accident source terms. (Safety series (IAEA), 1995)