Baier, Dubslaff, Klüppelholz, Daum, Klein, Märcker, Wunderlich, 2014. Probabilistic Model Checking and Non-standard Multi-objective Reasoning, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-54804-8_1