Testing very big systems - Marks, David M. (Software Engineering Series, 1992)