https://5dok.net/document/lq579l3y-modelling-reduction-and-analysis-markov-automata-extended-version.html