@conference {79,
	title = {Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems},
	booktitle = {Programming Languages and Systems, ESOP 2013},
	series = {Lecture Notes in Computer Science},
	volume = {7792},
	year = {2013},
	pages = {411-430},
	publisher = {Springer},
	organization = {Springer},
	author = {Joost-Pieter Katoen and Doron Peled}
}