Parametric real-time reasoning (1993)

by R Alur, T A Henzinger, M Y Vardi
Venue:In Proceedings of the twenty-fifth annual ACM symposium on Theory of computing