Your search returned the following 2 documents:

2. Adapting an AI Planning Heuristic for Directed Model Checking
   Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, and Gerd Behrmann
   In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, 2006, 35-52
   
1. Directed Model Checking with Distance-Preserving Abstractions
   Klaus Dräge, Bernd Finkbeiner, and Andreas Podelski
   In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, 2006, 19-34