DOI,IST REx ID,Title of publication
10.1007/978-3-540-24730-2_6,4629,Model checking discounted temporal properties