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

by C Courcoubetis D Dill N Halbwachs, H Wong-Toi
Venue:In Proc, 13th IEEE RT,S'S. IEEE Computer