Computing Distances between Probabilistic Automata - Mathieu Tracol; Josée Desharnais; Abir Zhioua (QAPL, 2011)