Email Record: Verification and validation of software related to nuclear power plant instrumentation and control