Diagnosis and reliable design of digital systems - Breuer, Melvin A. (Digital system design series, 1976)