Hahn, E.; Hartmanns, A.; Hermanns, H. Reachability and Reward Checking for Stochastic Timed Automata. eceasst 2014, 70.