Design and Analysis of Reliable and Fault-Tolerant Computer Systems - Abd-El-Barr, Mostafa (Imperial College Press, 2007)