D. Kuske, “Weighted and unweighted trace automata”, Acta Cybern, vol. 19, no. 2, pp. 393-410, Jan. 2009.