@conference {12815,
	title = {Fast on-the-fly parametric real-time model checking},
	booktitle = {Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International},
	year = {2005},
	month = {2005///},
	pages = {10{\textendash}pp - 10{\textendash}pp},
	author = {Zhang,D. and Cleaveland, Rance}
}
