Fault-tolerant systems / Israel Koren, C. Mani Krishna. - Koren, Israel, 1945- (Morgan Kaufmann, 2007)