Seol mar théacs é seo: Costs and rewards in priced timed automata