MILLER, L.A. - HEYES, J.E. - MIRSKY, S.M. Guidelines for the Verification and Validation of Expert System Software and Conventional Software : User's Manual. B.v. Washington : U.S. Nuclear Regulatory Commission, 1995. Nestr. NUREG/CR-6316. SAIC-95/1028.