Jörg Hoffmann Jan-Georg Smaus Andrey Rybalchenko Sebastian Kupferschmid Andreas Podelski Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. 51-66 2006 conf/mochart/2006 MoChArt http://dx.doi.org/10.1007/978-3-540-74128-2_4 db/conf/mochart/mochart2006.html#HoffmannSRKP06