Exact performance equivalence: An equivalence relation for stochastic automata
scientific article; zbMATH DE number 1281083