An Efficient Algorithm to Determine Probabilistic Bisimulation. - Jan Friso Groote; Jao Rivera Verduzco; Erik P. de Vink (Algorithms, 2018)