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