Verification and validation of software related to nuclear power plant instrumentation and control (International Atomic Energy Agency, 1999)
STI/DOC/010/384