https://9dok.net/document/zx56d0xo-counterexamples-for-timed-probabilistic-reachability.html