@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{KY76,
	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
}