@InProceedings{bfhlprv-hscc01, author = {Gerd Behrmann and Ansgar Fehnker and Thomas Hune and Kim G. Larsen and Paul Pettersson and Judi Romijn and Frits Vaandrager}, title = {{Minimum-Cost Reachability for Priced Timed Automata}}, booktitle = {Proceedings of the 4th International Workshop on Hybris Systems: Computation and Control}, pages = {147--161}, year = 2001, editor = {Maria Domenica Di Benedetto and Alberto Sangiovanni-Vincentelli}, number = 2034, series = {Lecture Notes in Computer Sciences}, publisher = {Springer--Verlag} }