@article {364,
	title = {Sound statistical model checking for {MDP} using partial order and confluence reduction},
	journal = {{STTT}},
	volume = {17},
	year = {2015},
	pages = {429{\textendash}456},
	doi = {10.1007/s10009-014-0349-7},
	url = {http://dx.doi.org/10.1007/s10009-014-0349-7},
	author = {Arnd Hartmanns and Mark Timmer}
}