Hashemi, V.; Hermanss, H.; Turrini, A. On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. eceasst 2014, 66.