_id,doi,title
1882,10.1007/978-3-319-15317-9_19,Compositionality for quantitative specifications