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
Discrete abstractions of hybrid systems, Proceedings of the IEEE, pp.88-971, 2000. ,
DOI : 10.1109/5.871304
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
Eclipse: An introduction, 2003. ,
The tool Kronos, Lecture Notes in Computer Science, vol.1066, pp.208-219, 1996. ,
DOI : 10.1007/BFb0020947
Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991. ,
DOI : 10.1109/32.92910
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=10.1.1.57.8341
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997. ,
DOI : 10.1007/s100090050010
Protocol testing, Proceedings of the 1994 international symposium on Software testing and analysis , ISSTA '94, pp.109-124, 1994. ,
DOI : 10.1145/186258.187153