home › event - qualitative reasoning with modelica models