V. Hashemi, H. Hermanss, and A. Turrini, “On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation”, eceasst, vol. 66, Feb. 2014.