Model checking via reachability testing for timed automata (1998)

by L Aceto, A Burgueno, K G Larsen
Venue:In Proceedings of 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, LNCS 1384