[1]
A. Diedrich, A. Maier, and O. Niggemann, “Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory”, AAAI, vol. 33, no. 01, pp. 1452-1459, Jul. 2019.