Model-Based Health Monitoring of Hybrid Systems | lit.salon