_id,doi,title
3864,10.1007/978-3-642-14295-6_34,Measuring and synthesizing systems in probabilistic environments