1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. From timed to hybrid systems;Maler,1992
3. Diagnosis and Fault-Tolerant Control;Blanke,2003
4. Fault detection and diagnosis in chemical and petrochemical processes;Himmelblau,1978
5. Failure Diagnosis and Performance Monitoring;Pau,1981