DOI,IST REx ID,Title of publication
10.1016/j.tcs.2005.07.033,4625,Model checking discounted temporal properties