Αποστολή με SMS: Rigorous Development of Complex Fault-Tolerant Systems