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