Diedrich, A.; Maier, A.; Niggemann, O. Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory. AAAI 2019, 33, 1452-1459.