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