@InProceedings{KatoenZ_QEST06,
	title = {Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability},
	booktitle={Quantitative Evaluation of Systems (QEST)},
	author = {
		Joost-Pieter Katoen and
		Ivan S. Zapreev
	},
	pages = {301--310},
	year = {2006},
	publisher = {IEEE Computer Society},
	address = {Los Alamos, CA, USA},
}