Model-based Health Monitoring of Hybrid Systems - Danwei Wang, Ming Yu, Chang Boon Low, Shai Arogeti (Springer)