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