@techreport{KatoenZ_CTIT05_52,
	author = {
			Joost-Pieter Katoen and
			Ivan S. Zapreev
		},
	title = {Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability},
	year = 2005,
	url = {http://www.cs.utwente.nl/~zapreevis/downloads/TR-CTIT-05-52.pdf},
	institution = {CTIT, University of Twente},
	number = {TR-CTIT-05.52},
}