Diagnosis and reliable design of digital systems. - Breuer, Melvin A.; Friedman, Arthur D.