_id,doi,title
1234,10.1007/978-3-662-49674-9_7,Faster statistical model checking for unbounded temporal properties