Testing very big systems - Marks, David M (McGraw-Hill, 1991)