@inproceedings{DFP06,
  title = "Directed Model Checking with Distance-Preserving Abstractions",
  author = "Klaus Dr{\"a}ger and Bernd Finkbeiner and Andreas Podelski",
  year = "2006",
  address = "Berlin Heidelberg",
  booktitle = "Proceedings of the 13th International SPIN Workshop on Model Checking Software",
  editor = "Antti Valmari",
  pages = "19-36",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3925",
}