Fault - tolerant systems - Koren, Israel (Elsevier, 2007)