Title: Design And Analysis of Reliable And Fault-tolerant Computer Systems