1. Alur, R., Henzinger, T.A.: A really temporal logic. In: FOCS, pp. 164–169. IEEE Computer Society (1989)
2. Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems. In: Proceedings of IFIP, TCS 2004, pp. 493–506. Kluwer (2004)
3. Lecture Notes in Computer Science;B Banieqbal,1989
4. Bertrand, N., Fearnley, J., Schewe, S.: Bounded satisfiability for PCTL. In: Proceedings of CSL 2012. Leibniz International Proceedings in Informatics, vol. 16, pp. 92–106. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2012)
5. Billingsley, P.: Probability and Measure. Wiley, Hoboken (1995)