Software verification and validation realistic project approaches - Deutsch, Michael S. (Prentice-Hall Inc., 1982)