@book{BK,
	title={Principles of Model Checking},
	author={Baier, Christel and Katoen, Joost-Pieter},
	publisher={The MIT Press},
	address={Cambridge, Massachusetts and London, England},
	year=2008
}

@article{Bartocci2011,
	title={Model Repair for Probabilistic Systems},
	author={Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C. R. and Smolka, Scott A.},
	booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2011},
	editor={Abdulla, P. A. and Leino, K. R. M.},
	series={Lecture Notes in Computer Science},
	number=6605,
	publisher={Springer},
	address={Berlin and Heidelberg},
	year=2011,
	pages={326--340}
}

@inbook{KnuthYao1976,
	author={Knuth, Donald E. and Yao, Andrew C.},
	title={Algorithms and Complexity: New Directions and Recent Results},
	chapter={The complexity of nonuniform random number generation},
	publisher={Academic Press},
	year=1976
}

@inproceedings{Storm,
	title={A Storm is Coming: A Modern Probabilistic Model Checker},
	author={Dehnert, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Volk, Matthias},
	booktitle={Computer Aided Verification. CAV 2017},
	editor={Majumdar, R. and Kun\v{c}ak, V.},
	pages={592--600},
	series={Lecture Notes in Computer Science},
	number=10427,
	publisher={Springer},
	address={Cham},
	year=2017
}

@inproceedings{Z3,
	title={Z3: An Efficient SMT Solver},
	author={{De Moura}, Leonardo and Bj{\o}rner, Nikolaj},
	booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2008},
	editor={Ramakrishnan, C. R. and Rehof, J.},
	pages={337--340},
	series={Lecture Notes in Computer Science},
	number=4963,
	publisher={Springer},
	address={Berlin, Heidelberg},
	year=2008
}

@inproceedings{DeVries2007,
	title={Uniqueness Typing Redefined},
	author={{De Vries}, Edsko and Plasmeijer, Rinus and Abrahamson, David R.},
	booktitle={Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL '06},
	editor={Horv\'{a}th, Z. and Zs\'{o}k, V.},
	pages={181--198},
	series={Lecture Notes in Computer Science},
	number=4449,
	publisher={Springer},
	address={Berlin, Heidelberg},
	year=2007
}

@inproceedings{Dehnert2015,
	title={\texttt{PROPhESY}: A PRObabilistic ParamEter SYnthesis Tool},
	author={Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Bruintjes, Harold and Katoen, Joost-Pieter and \'{A}brah\'{a}m, Erika},
	booktitle={Computer Aided Verification. CAV 2015},
	editor={Kroening, D. and P\v{a}s\v{a}reanu, C.},
	pages={181--198},
	series={Lecture Notes in Computer Science},
	number=9206,
	publisher={Springer},
	address={Cham},
	year=2015
}