Directed Model Checking with Distance−Preserving Abstractions - Dräger, K; Finkbeiner, B; Podelski, A (Springer−Verlag, 2006)