Diagnosis of hybrid systems through Observers and Timed Automata | IEEE Conference Publication | IEEE Xplore