Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models | IEEE Conference Publication | IEEE Xplore