_id,doi,title
11775,10.1007/978-3-031-17196-3_11,Abstract monitors for quantitative specifications