https://123dok.net/document/8ydpov6y-parameter-synthesis-for-parametric-interval-markov-chains.html