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

by Rajeev Alur, Costas Courcoubetis, David L Dill, Nicolas Halbwachs, Howard Wong-Toi
Venue:In IEEE Real-Time Systems Symposium