R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Lecture Notes in Computer Science, vol.736, pp.209-229, 1993.
DOI : 10.1007/3-540-57318-6_30

R. Alur, T. A. Henzinger, G. Laaerriere, and G. J. Pappas, Discrete abstractions of hybrid systems, Proceedings of the IEEE, pp.88-971, 2000.
DOI : 10.1109/5.871304

A. Bemporad and M. Morari, Control of systems integrating logic, dynamics, and constraints, Automatica, vol.35, issue.3, pp.407-427, 1999.
DOI : 10.1016/S0005-1098(98)00178-2

A. M. Cheadle, W. Harvey, A. J. Sadler, J. Schimpf, K. Shen et al., Eclipse: An introduction, 2003.

C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The tool Kronos, Lecture Notes in Computer Science, vol.1066, pp.208-219, 1996.
DOI : 10.1007/BFb0020947

R. A. Demillo and A. J. Ooutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

S. Fujiwara, G. Von-bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, Test selection based on finite state models, IEEE Transactions on Software Engineering, vol.17, issue.6, pp.591-603, 1991.
DOI : 10.1109/32.87284

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Larsen, P. , and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997.
DOI : 10.1007/s100090050010

G. Von-bochmann and A. Petrenko, Protocol testing, Proceedings of the 1994 international symposium on Software testing and analysis , ISSTA '94, pp.109-124, 1994.
DOI : 10.1145/186258.187153