Văn bản này: Costs and rewards in priced timed automata