https://123dok.net/document/6qmm4o9q-stochastic-timed-automata.html