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