M. Kwiatkowska et al: "Probabilistic Model Checking for Systems Biology"