G. D. Abowd, A formal technique for automated dialogue development, Proceedings of the conference on Designing interactive systems processes, practices, methods, & techniques, DIS '95, pp.219-226, 1995.
DOI : 10.1145/225434.225459

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

Y. Aït-ameur, Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, JIPS, vol.1, issue.1, pp.1-30, 2010.

P. Antoine, Volta: the first all-electric conventional helicopter, MEA 2017, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01609233

E. Bainomugisha, A survey on reactive programming, ACM Computing Surveys, vol.45, issue.4, pp.1-5234, 2013.
DOI : 10.1145/2501654.2501666

URL : http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf

J. Bowen and S. Reeves, Modelling safety properties of interactive medical systems, Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '13, pp.91-100, 2013.
DOI : 10.1145/2494603.2480314

P. Bumbulis, Validating Properties of Component-based Graphical User Interfaces, Design, Specification and Verification of Interactive Systems '96, pp.347-365, 1996.
DOI : 10.1007/978-3-7091-7491-3_18

B. Bérard, Systems and Software Verification: Model-Checking Techniques and Tools, 2010.
DOI : 10.1007/978-3-662-04558-9

S. Chatty, Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '15, pp.276-285, 2015.
DOI : 10.1007/978-3-540-92698-6_30

URL : https://hal.archives-ouvertes.fr/hal-01619784

S. Chatty, Designing, developing and verifying interactive components iteratively with djnn, ERTS 2016, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01292291

E. M. Clarke and J. , Model Checking, 1999.

P. Cousot, Interprétation abstraite. Technique et science informatiques, pp.155-164, 2000.

B. J. Cox, Object-Oriented Programming; An Evolutionary Approach, 1991.

B. , Using model checking for the automatic validation of user interface systems, 1998.

E. W. Dijkstra, A Discipline of Programming, 1997.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

M. Hristakeva, A survey of object oriented programming languages, 2009.

P. Masci, Formal Verification of Medical Device User Interfaces Using PVS, Fundamental Approaches to Software Engineering, pp.200-214, 2014.
DOI : 10.1007/978-3-642-54804-8_14

D. Navarre, A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications, Proceedings of the 2005 IFIP TC13, INTERACT'05, pp.170-183, 2005.
DOI : 10.1006/ijhc.2001.0474

O. Nierstrasz, Object-oriented concepts, databases, and applications. chapter A Survey of Object-oriented Concepts, pp.3-21, 1989.

D. Prun, M. Magnaudet, and S. Chatty, Towards support for verification of adaptative systems with djnn, Proceedings of Cognitive 2015, pp.191-194, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01888093

W. Reisig, Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, 2013.
DOI : 10.1007/978-3-642-33278-4

G. Salvaneschi, Debugging for reactive programming, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.796-807, 2016.
DOI : 10.1145/2635868.2635895

P. Van-roy, Concepts, Techniques, and Models of Computer Programming, 2004.