Αποστολή με SMS: Design and analysis of fault-tolerant digital systems /