M. Klenk, J. de Kleer, D. Bobrow, and B. Janssen, “Qualitative Reasoning with Modelica Models”, AAAI, vol. 28, no. 1, Jun. 2014.