Fault-tolerant computer system design - Pradhan, Dhiraj K. (Prentice Hall, 1996)