Robert B. Ash (1970):
Basic Probability Theory.
John Wiley & Sons.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of Model Checking.
The MIT Press.
Patrick Billingsley (1995):
Probability and Measure.
John Wiley & Sons.
Costas Courcoubetis & Mihalis Yannakakis (1995):
The Complexity of Probabilistic Verification.
Journal of the ACM 42(4),
pp. 857–907,
doi:10.1145/210332.210339.
John G. Kemeny, J. Laurie Snell & Anthony W. Knapp (1966):
Denumerable Markov Chains.
Van Nostrand.
Esteban Pavese, Victor Braberman & Sebastian Uchitel (2010):
My Model Checker Died!: how well did it do?.
In: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems.
ACM,
Cape Town,
pp. 33–40,
doi:10.1145/1808877.1808884.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci & Marisa Venturini Zilli (2006):
Finite Horizon Analysis of Markov Chains with the Murφ Verifier.
International Journal on Software Tools for Technology 8(4/5),
pp. 397–409,
doi:10.1007/s10009-005-0216-7.
Wilson A. Sutherland (1975):
Introduction to Metric and Topological Spaces.
Clarendon Press.
Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park & Flavio Lerda (2003):
Model Checking Programs.
Automated Software Engineering 10(2),
pp. 203–232,
doi:10.1023/A:1022920129859.
Xin Zhang & Franck van Breugel (2010):
Model Checking Randomized Algorithms with Java PathFinder.
In: Proceedings of 7th International Conference on Quantitative Evaluation of Systems.
IEEE,
Williamburgh,
pp. 157–158,
doi:10.1109/QEST.2010.28.
Xin Zhang & Franck van Breugel (2011):
A Progress Measure for Explicit-State Probabilistic Model-Checkers.
In: Luca Aceto, Monika Henzinger & Jir\'ıSgall: Proceedings of the 38th International Colloquium on Automata, Languages and Programming,
Lecture Notes in Computer Science 6756.
Springer-Verlag,
Zurich,
pp. 283–294,
doi:10.1007/978-3-642-22012-8_22.