@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} }