A Storm is Coming: A Modern Probabilistic Model Checker - Dehnert, Christian; Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias (Computer Aided Verification, 2017)