An implementation of three algorithms for timing verification based on automata emptiness (1992)

by R Alur, C Courcoubetis, D Dill, N Halbwachs, H Wong-Toi
Venue:In Proceedings of the Real-Time Systems Symposium