@InProceedings{bfhlpr-tacas01,
  author = 	 {Gerd Behrmann and Ansgar Fehnker and Thomas Hune and 
                  Kim G. Larsen and Paul Pettersson and Judi Romijn},
  title = 	 {{Efficient Guiding Towards Cost-Optimality in {\sc Uppaal}}},
  booktitle = 	 {Proceedings of the 7{\sl th} International Conference on 
                  Tools and Algorithms for the Construction and Analysis of 
                  Systems},
  pages = 	 {174--188},
  year = 	 {2001},
  editor = 	 {T. Margaria and W. Yi},
  number = 	 {2031},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer--Verlag}
}