Text this: Safety assessment and verification for nuclear power plants :