Anfonwch hwn fel neges destun: Costs and rewards in priced timed automata