Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen. Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32(1):3-23, 2008. [doi]
@article{BouyerBL08,
title = {Optimal infinite scheduling for multi-priced timed automata},
author = {Patricia Bouyer and Ed Brinksma and Kim Guldstrand Larsen},
year = {2008},
doi = {10.1007/s10703-007-0043-4},
url = {http://dx.doi.org/10.1007/s10703-007-0043-4},
researchr = {https://researchr.org/publication/BouyerBL08},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {32},
number = {1},
pages = {3-23},
}