James D. Arthur Markus K. Gröner Kelly J. Hayhurst C. Michael Holloway Evaluating the Effectiveness of Independendent Verification and Validation. 79-83 1999 32 IEEE Computer 10 db/journals/computer/computer32.html#ArthurGHH99 http://doi.ieeecomputersociety.org/10.1109/2.796141