Model-based Health Monitoring of Hybrid Systems - Wang (Springer New York, 2013)