Manfred Droste, George Rahonis: Weighted Automata and Weighted Logics with Discounting. CIAA 2007: 73-84