Testing very big systems - Marks, David M. (Software engineering series, 1992)