A. Gebhardt and J. Waldmann, “Weighted automata define a hierarchy of terminating string rewriting systems”, Acta Cybern, vol. 19, no. 2, pp. 295-312, Jan. 2009.