@InProceedings{,
  author = 	 {Kim G. Larsen and Gerd Behrmann and Ed Brinksma and 
                  Ansgar Fehnker and Thomas Hune and Paul Pettersson and 
                  Judi Romijn},
  title = 	 {As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat},
  booktitle = 	 {Proceedings of CAV 2001},
  pages = 	 {493--505},
  year = 	 {2001},
  editor = 	 {G. Berry and H. Comon and A. Finkel},
  number = 	 {2102},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer--Verlag}
}