The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata - van Breugel, F; Worrell, J (2014)