Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt: Interactive Visualization Meets Probabilistic Model Checking Artifact. Zenodo 2023