Klenk, M.; de Kleer, J.; Bobrow, D.; Janssen, B. Qualitative Reasoning With Modelica Models. AAAI 2014, 28.