Rajeev Alur Thomas A. Henzinger Moshe Y. Vardi Parametric real-time reasoning. 592-601 1993 conf/stoc/STOC25 STOC http://doi.acm.org/10.1145/167088.167242 db/conf/stoc/stoc1993.html#AlurHV93