Αποστολή με SMS: Model-based Health Monitoring of Hybrid Systems