SMS: Concavely−Priced Timed Automata