Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Priced Timed Automata: Algorithms and Applications. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Volume 3657 of Lecture Notes in Computer Science, pages 162-182, Springer, 2004. [doi]
Abstract is missing.