Krzysztof R. Apt Sebastian Brand Constraint-Based Qualitative Simulation. 26-34 2005 conf/time/2005 TIME http://dx.doi.org/10.1109/TIME.2005.19 db/conf/time/time2005.html#AptB05