أرسل هذا في رسالة قصيرة: Costs and rewards in priced timed automata