Fault-Tolerant System - Koren, Israel (Elsevier, 2007)