@article{dAFS05,
    	author =        {L. de Alfaro and M. Faella and T. A.  Henzinger and 
                         R. Majumdar and M.I.A. Stoelinga},
    	booktitle =     {Theoretical Computer Science},
    	title =         {Model Checking Discounted Temporal Properties},
    	year =          2005,
    	publisher =     {Elsevier},
	volume =        345,
	pages =         139--170
}