@inproceedings{hoffman-etal:mochart2006,
  author    = {J{\"o}rg Hoffmann and
               Jan-Georg Smaus and
               Andrey Rybalchenko and
               Sebastian Kupferschmid and
               Andreas Podelski},
  title     = {Using Predicate Abstraction to Generate Heuristic Functions
               in {UPPAAL}},
  pages     = {51--66},
  crossref  = {mochart2006},
}

@proceedings{mochart2006,
  editor    = {Stefan Edelkamp and Alessio Lomuscio},
  booktitle = {Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence (MoChArt 2006)},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = 4428,
  year      = 2007,
}