Approximating Markovian testing equivalence - Aldini, Alessandro (Theoretical Computer Science, 2012)