@inproceedings{dctl-tacas04,
	author = "L. de Alfaro and M. Faella and T.A. Henzinger 
		and R. Majumdar and M. Stoelinga",
	title = "Model Checking Discounted Temporal Properties",
	booktitle = "Proc. of {TACAS}: Tools and Algorithms for the 
	    Construction and Analysis of Systems",
	series = "Lecture Notes in Computer Science", 
	publisher = "Springer--Verlag", 
	year = 2004
	}