Verification and validation in an iterative software development environment. - Darrell F. Oresky; Christine Haapala (RSP, 1993)