1. C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. The MIT Press.
2. Model checking for a probabilistic branching time logic with fairness
3. N. Bertrand, J. Fearnley, and S. Schewe. 2012. Bounded Satisfiability for PCTL. In Proceedings of CSL 2012 (Leibniz International Proceedings in Informatics, Vol. 16). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 92--106.
4. Model Checking of Probabilistic and Nondeterministic Systems
5. P. Billingsley. 1995. Probability and Measure. Wiley.