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