Concavely−Priced Timed Automata - Jurdzinski, M; Trivedi, A (Springer, 2008)