Invia SMS: Fault-tolerant computing : theory and techniques / Dhiraj K. Pradhan, editor.