https://5dok.net/document/y6e99p04-probabilistic-model-checking-a-comparison-of-tools.html