"Resource-Optimal Scheduling Using Priced Timed Automata."

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics