Αποστολή με SMS: Model-Based Fault Diagnosis Techniques