Your search returned the following document:

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