Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop: Nested Weighted Automata. LICS 2015: 725-737