Markus N. Rabe, Sven Schewe: Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Acta Informatica 48(5-6): 291-315 (2011)