On using priced timed automata to achieve optimal scheduling.

Jacob Illum Rasmussen Kim Guldstrand Larsen K. Subramani On using priced timed automata to achieve optimal scheduling. 97-114 2006 29 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-0014-1 db/journals/fmsd/fmsd29.html#RasmussenLS06