Diagnosis & reliable design of digital systems - Breuer, Melvin A. (1976)