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