_id,doi,title 1335,10.1007/978-3-662-53413-7_2,Quantitative monitor automata