@inproceedings{KDH+07,
  title = "{Uppaal/DMC} -- Abstraction-based Heuristics for Directed Model Checking",
  author = "Sebastian Kupferschmid and Klaus Dr{\"a}ger and J{\"o}rg Hoffmann and Bernd Finkbeiner and Henning Dierks and Andreas Podelski and Gerd Behrmann",
  year = "2007",
  address = "Berlin Heidelberg",
  booktitle = "Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  editor = "Orna Grumberg and Michael Huth",
  pages = "679--682",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4424",
}