Fault-Tolerant Systems, 2ed - Koren, Israel (Morgan Kaufmann Elsevier, 2020)