Text this: The use of probabilistic safety assessment in the relicensing of nuclear power plants for extended lifetimes.