Klauck, M.; Steinmetz, M.; Hoffmann, J.; Hermanns, H. Compiling Probabilistic Model Checking into Probabilistic Planning. ICAPS 2018, 28, 150-154.