Title: Diagnosis and Reliable Design of Digital Systems 1976