@article{Fahrenberg_2009,
    doi = {10.1016/j.entcs.2009.05.039},
    url = {https://doi.org/10.1016%2Fj.entcs.2009.05.039},
    year = {2009},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {239},
    pages = {179--191},
    author = {Uli Fahrenberg and Kim G. Larsen},
    title = {Discount-Optimal Infinite Runs in Priced Timed Automata},
    journal = {Electronic Notes in Theoretical Computer Science}
}

@article{Fahrenberg_2009, doi = {10.1016/j.entcs.2009.05.039}, url = {https://doi.org/10.1016%2Fj.entcs.2009.05.039}, year = {2009}, month = {jul}, publisher = {Elsevier {BV}}, volume = {239}, pages = {179--191}, author = {Uli Fahrenberg and Kim G. Larsen}, title = {Discount-Optimal Infinite Runs in Priced Timed Automata}, journal = {Electronic Notes in Theoretical Computer Science} }