Fault-tolerant computing : theory and techniques - Pradhan, Dhiraj K. (Hrsg.) (Prentice-Hall)