@InProceedings{kupferschmid-etal:spin2006,
  author = 	 {Sebastian Kupferschmid and J{\"o}rg Hoffmann and Henning Dierks and Gerd Behrmann},
  title = 	 {Adapting an {AI} Planning Heuristic for Directed Model Checking},
  crossref =     {spin2006},
  pages = 	 {35--52}
}

@Proceedings{spin2006,
  title = 	 {Model Checking Software},
  year = 	 {2006},
  booktitle =    {Proceedings of the 13th International SPIN Workshop (SPIN2006)},
  editor = 	 {Antti Valmari},
  volume = 	 {3925},
  series = 	 {Lecture Notes in Computer Science},
  month = 	 apr,
  publisher =    {Springer-Verlag}
}