@conference {53,
	title = {Probabilistic CSP: Preserving the Laws via Restricted Schedulers},
	booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB \& DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings},
	volume = {7201},
	year = {2012},
	pages = {136-150},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-28539-4},
	doi = {10.1007/978-3-642-28540-0_10},
	author = {Sonja Georgievska and Suzana Andova}
}