Describir: Concavely−Priced Timed Automata