@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} }