https://123dok.net/document/qo3d90mq-verification-of-stochastic-timed-automata.html