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