Software verification and validation : REALISTIC PROJECT APPROACHES - Deutsch, Michael S. (Prentice-Hall Inc, 1982)