Independent verification and validation a life cycle engineering process for quality software - Lewis, Robert O. (Wiley, 1992)