Fault-tolerant system - Koren, Israel; Krishna, C.M (Morgan Kaufmann Publishers, 2007)