Qualitative Reasoning with Modelica Models