5 works on record
Fault-tolerant computer system design
1996
Fault-Tolerant Computing
1986
Practical design verification
Energy-Efficient Fault-Tolerant Systems
Integrated circuit manufacturability
