Design and Analysis of Reliable and Fault-Tolerant Computer Systems by Mostafa Abd-el-barr