[EisentrautHSTZ18] The Quest for Minimal Quotients for Probabilistic and Markov Automata Eisentraut, C.; Hermanns, H.; Schuster, J.; Turrini, A. and Zhang, L. In Inf. Comput., 262: 162-186, 2018. doi.. 
Downloads: bibURL: https://doi.org/10.1016/j.ic.2018.08.003