Αποστολή με SMS: Analysis and synthesis of fault-tolerant control systems /