Manfred Droste Jacques Sakarovitch Heiko Vogler Weighted automata with discounting. 23-28 2008 108 Inf. Process. Lett. 1 http://dx.doi.org/10.1016/j.ipl.2008.03.014 db/journals/ipl/ipl108.html#DrosteSV08