Văn bản này: Concavely−Priced Timed Automata