@inproceedings{wehrle-etal:tacas2009,
  author =	 {Martin Wehrle and Sebastian Kupferschmid and Andreas
                  Podelski},
  title =	 {Transition-Based Directed Model Checking},
  crossref =	 {tacas2009},
  pages =	 {186--200}
}

@proceedings{tacas2009,
  title =	 {Proceedings of the 15th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2009)},
  year =	 2009,
  booktitle =	 {Proceedings of the 15th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2009)},
  editor =	 {Stefan Kowalewski and Anna Philippou},
  volume =	 5505,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}