Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control. B.v. Vienna : IAEA, 1999. 126 s. Technical Reports Series No.384. STI/DOC/010/384. ISBN 92-0-100799-X.