1. Aceto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: The power of reachability testing for timed automata. In: Proceedings of the 18th Conference Foundation of Software Technology and Theoretical Computer Science (FST & TCS’98), Chennai, India, December 1998, vol. 1530, pp. 245–256. Springer, Berlin Heidelberg New York (1998)
2. Aceto L., Burgueño A., Larsen K.G. (1998) Model checking via reachability testing for timed automata. In: Steffen B. (eds). TACAS’98, LNCS 1384. Springer, Berlin Heidelberg New York, pp. 263–280
3. Alur R., Courcoubetis C., Dill D.L. (1993) Model-checking in dense real-time. Inf. Comput. 104(1): 2–34
4. Alur R., Dill D.L. (1994) A theory of timed automata. Theor. Comput. Sci. 126(2): 183–235
5. Bozga M., Daws C., Maler O., Olivero A., Tripakis S., Yovine S. (1998) Kronos: a model-checking tool for real-time systems. In: Hu A.J., Vardi M.Y. (eds). Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, vol. 1427. Springer, Berlin Heidelberg New York, pp 546–550