R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995.
DOI : 10.1016/0304-3975(94)00202-T

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaal ? a Tool Suite for Automatic Verification of Real?Time Systems, Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pp.232-243, 1995.

G. Frehse and . Phaver, PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech, Lecture Notes in Computer Science, vol.3414, pp.258-273, 2005.
DOI : 10.1007/978-3-540-31954-2_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.363

G. Frehse and R. Ray, Design Principles for an Extendable Verification Tool for Hybrid Systems, ADHS'09 : 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009.
DOI : 10.3182/20090916-3-ES-3003.00043

A. Thomas, P. Henzinger, and . Ho, Algorithmic analysis of nonlinear hybrid systems, Proceedings of the 7th International Conference on Computer Aided Verification, pp.225-238, 1995.

A. Hessel, K. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, Formal Methods and Testing, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

K. Larsen, M. Mikucionis, and B. Nielsen, Online Testing of Real-time Systems Using Uppaal, Formal Approaches to Software Testing, pp.79-94, 2005.
DOI : 10.1007/s100090050044
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.8128

K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou, Testing realtime embedded software using uppaal-tron: an industrial case study, EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, pp.299-306, 2005.
DOI : 10.1145/1086228.1086283

S. Sims and D. C. Duvarney, Experience Report: The Reactis Validation Tool, Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming -ICFP '07, 2007.
DOI : 10.1145/1291151.1291172

J. Tretmans and A. Belinfante, Automatic testing with formal methods, Eu- roSTAR'99: 7 th European Int. Conference on Software Testing EuroStar Conferences, 1999.

. Michiel-van-osch, Hybrid Input-Output Conformance and Test Generation, Formal Approaches to Software Testing and Runtime Verification, pp.70-84, 1007.
DOI : 10.1007/11940197_5

. Michiel-van-osch, Automated Model-based Testing of Hybrid Systems, 2009.