https://5dok.net/document/7q0838xy-analysis-timed-long-run-objectives-markov-automata.html