_id,doi,title
4629,10.1007/978-3-540-24730-2_6,Model checking discounted temporal properties