Eugene L. Duke: V&V of Flight and Mission-Critical Software. IEEE Softw. 6(3): 39-45 (1989)