[ZhangYSHEJG18] Probabilistic Bisimulation for Realistic Schedulers Zhang, L.; Yang, P.; Song, L.; Hermanns, H.; Eisentraut, C.; Jansen, D. N. and Godskesen, J. C. In Acta Informatica, 55: 461-488, 2018. doi.. 
Downloads: pdf, bibURL: https://doi.org/10.1007/s00236-018-0313-1