Design and analysis of reliable and fault-tolerant computer systems - Abd-El-Barr, Mostafa, 1950- (Imperial College Press, 2007)