TY - CONF T1 - Fast on-the-fly parametric real-time model checking T2 - Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International Y1 - 2005 A1 - Zhang,D. A1 - Cleaveland, Rance JA - Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International ER -