MILLER, L.A. et al. Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Survey and Assessment of Conventional Software Verification and Validation Methods. B.v. Washington : U.S. Nuclear Regulatory Commission, 1995. 175 s. NUREG/CR-6316. SAIC-95/1028.