Invia SMS: Design and Analysis of Reliable and Fault-Tolerant Computer Systems