Fault-tolerant systems - Koren, Israel, 1945- (Elsevier/Morgan Kaufmann, 2007)