Fault-tolerant computer system design - Pradhan (Prentice Hall PTR, 1995)