Hahn, E., Hartmanns, A. and Hermanns, H. (2014) “Reachability and Reward Checking for Stochastic Timed Automata”, Electronic Communications of the EASST, 70. doi: 10.14279/tuj.eceasst.70.968.