發送短信: Costs and rewards in priced timed automata