@article {52,
	title = {Probabilistic may/must testing: retaining probabilities by restricted schedulers},
	journal = {Formal Asp. Comput.},
	volume = {24},
	year = {2012},
	pages = {727-748},
	doi = {10.1007/s00165-012-0236-5},
	author = {Sonja Georgievska and Suzana Andova}
}