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