Kim Guldstrand Larsen Jacob Illum Rasmussen Optimal reachability for multi-priced timed automata. 197-213 2008 390 Theor. Comput. Sci. 2-3 http://dx.doi.org/10.1016/j.tcs.2007.09.021 db/journals/tcs/tcs390.html#LarsenR08