T. Petković, M. Ćirić, and S. Bogdanović, “Decompositions of automata and transition semigroups”, Acta Cybern, vol. 13, no. 4, pp. 385-403, Jan. 1998.