Wilfried Grossmann Hannes Werthner Probabilistic Models in Qualitative Simulation. 331-346 1993 conf/eurocast/1993 EUROCAST db/conf/eurocast/eurocast1993.html#GrossmannW93 http://dx.doi.org/10.1007/3-540-57601-0_60