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