Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop: Quantitative Monitor Automata. SAS 2016: 23-38