Diedrich, A., Maier, A. and Niggemann, O. (2019) “Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory”, Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), pp. 1452-1459. doi: 10.1609/aaai.v33i01.33011452.