The use of probabilistic safety assessment in the relicensing of nuclear power plants for extended lifetimes. (IAEA, 1990)