_id,doi,title
4625,10.1016/j.tcs.2005.07.033,Model checking discounted temporal properties