Fault tolerant and fault testable hardware design - Lala, Parag K. (Prentice-Hall, Inc, 1985)