Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control. Vienna : IAEA, 1999. 126 s. ISBN 92-0-100799-X.[1, currently available 1]