E. Hahn, A. Hartmanns, and H. Hermanns, “Reachability and Reward Checking for Stochastic Timed Automata”, eceasst, vol. 70, Nov. 2014.