Generalized discrete timed automata: decidable approximations for safety verification (2001)

by Z Dang, O H Ibarra, R A Kemmerer
Venue:In Proceedings of the 20th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001