Dolores R. Wallace, Roger U. Fujii: Verification and Validation: An Overview. IEEE Softw. 6(3): 10-17 (1989)