この資料をSMS送信: Costs and rewards in priced timed automata