Sebastian Kupferschmid Jörg Hoffmann Henning Dierks Gerd Behrmann Adapting an AI Planning Heuristic for Directed Model Checking. 35-52 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_3 db/conf/spin/spin2006.html#KupferschmidHDB06