K. Aerts, Visto: A More Declarative GUI Framework, Computer-Aided Design of User Interfaces II, Proceedings of the Third International Conference of Computer-Aided Design of User Interfaces, pp.73-78, 1999.

P. Antoine and S. Conversy, Volta: the first all-electric conventional helicopter, Proceedings of the More Electrical Aircraft Conference (MEA '17), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01609233

C. Appert and M. Beaudouin-lafon, SwingStates: Adding state machines to Java and the Swing toolkit. Software: Practice and Experience, vol.38, pp.1149-1182, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00538334

E. Bainomugisha, T. Andoni-lombide-carreton, S. Van-cutsem, W. Mostinckx, and . Meuter, A Survey on Reactive Programming. ACM Comput. Surv, vol.45, p.52, 2013.

L. Bass, R. Pellegrino, S. Reed, R. Seacord, R. Sheppard et al., The Arch Model: Seeheim Revisited, Presented at the CHI'91 User Interface Developers Workshop, 1991.

A. Benveniste and P. L. Guernic, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, pp.103-149, 1991.

G. Berry and G. Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, vol.19, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

R. Blanch and M. Beaudouin-lafon, Programming rich interactions using the hierarchical state machine toolkit, Proceedings of the working conference on Advanced visual interfaces (AVI '06), pp.51-58, 2006.

S. Chatty, Extending a Graphical Toolkit for Two-handed Interaction, Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology (UIST '94, pp.195-204, 1994.

S. Chatty, A unified framework for control structures in interactive software, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01800741

S. Chatty, M. Magnaudet, and D. Prun, Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.276-285, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01619784

S. Chatty, S. Sire, J. Vinot, P. Lecoanet, A. Lemort et al., Revisiting Visual Interface Programming: Creating GUI Tools for Designers and Programmers, Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology (UIST '04), pp.267-276, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00940955

J. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proc. of ACM EMSOFT'05. ACM, pp.173-182, 2005.

B. Collignon, J. Vanderdonckt, and G. Calvary, Model-Driven Engineering of Multi-target Plastic User Interfaces, Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08, pp.7-14, 2008.

S. Conversy, Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Splash Onward! '14), pp.201-212, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01078340

A. Courtney, Frappé: Functional Reactive Programming in Java, Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las, pp.29-44, 2001.

P. Dragicevic and J. Fekete, Support for Input Adaptability in the ICon Toolkit, Proceedings of the Sixth International Conference on Multimodal Interfaces (ICMI'04), pp.212-219, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00875916

C. Elliott and P. Hudak, Functional Reactive Animation, International Conference on Functional Programming, pp.263-273, 1997.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Data Flow Programming Language LUSTRE, Proc. IEEE, vol.79, pp.1305-1320, 1991.

D. Harel, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.

H. , R. Hartson, and D. Hix, Human-Computer Interface Development: Concepts and Systems for its Management, Comput. Surveys, vol.21, pp.5-92, 1989.

C. A. Hoare, Communicating Sequential Processes, Commun. ACM, vol.21, pp.666-677, 1978.

C. Hurter and S. Conversy, Towards characterizing visualization, Proceedings of the 15th conference on Design Specification and Verification of Interactive Systems (DSVIS 2008), pp.287-293, 2008.

, Ergonomics of human-system interaction-Part 210: Human-centred design for interactive systems, Standard. International Organization for Standardization, pp.9241-210, 2010.

R. J. Jacob, L. Deligiannidis, and S. Morrison, A Software Model and Specification Language for Non-WIMP User Interfaces, ACM Transactions on Computer-Human Interaction, vol.6, pp.1-46, 1999.

R. J. Jacob, Using Formal Specifications in the Design of a Human-Computer Interface, Commun. ACM, vol.26, pp.259-264, 1983.

A. J. , Causality for Free!: Parametricity Implies Causality for Functional Reactive Programs, Proceedings of the 7th Workshop on Programming Languages Meets Program Verification (PLPV '13, pp.57-68, 2013.

R. E. Johnson and B. Foote, Designing Reusable Classes, Object-Oriented Programming, vol.1, issue.2, 1988.

C. Alan and . Kay, History of Programming languages-II, Chapter The Early History of Smalltalk, pp.511-598, 1996.

E. Lecolinet, A molecular architecture for creating advanced GUIs, Proceedings of the ACM UIST, pp.135-144, 2003.

M. Magnaudet and S. Chatty, What Should Adaptivity Mean to Interactive Software Programmers, Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '14, pp.13-22, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01011095

I. Maier, T. Rompf, and M. Odersky, Deprecating the Observer Pattern, 2012.

L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg et al., Flapjax: A Programming Language for Ajax Applications, Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '09), pp.1-20, 2009.

R. Milner, A Calculus of Communicating Systems, 1980.

B. Myers, Separating application code from toolkits: Eliminating the spaghetti of callbacks, Proceedings of the ACM UIST, pp.211-220, 1991.

B. Myers, S. Y. Park, Y. Nakano, G. Mueller, and A. Ko, How Designers Design and Program Interactive Behaviors, Proceedings of IEEE VLHCC'08, pp.177-184, 2008.

B. A. Myers, A new model for handling input, ACM Transactions on Office Information Systems, pp.289-320, 1990.

B. A. Myers, Garnet, Comprehensive Support for Graphical, Highly Interactive User Interfaces, IEEE Computer, pp.71-85, 1990.

D. Navarre, P. Palanque, J. Ladry, and E. Barboni, ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM TOCHI, vol.16, pp.1-18, 2009.

G. E. Pfaff, User Interface Management Systems, 1985.

M. H. Trygve and . Reenskaug, Models-Views-Controllers, 1979.

N. Rescher, Process Philosophy: A Survey of Basic Issues, 2000.

W. Salmon, Scientific Explanation and the Causal Structure of the World, 1984.

G. Salvaneschi, G. Hintz, and M. Mezini, REScala: Bridging Between Object-oriented and Functional Style in Reactive Applications, Proceedings of the 13th International Conference on Modularity (MODULARITY '14, pp.25-36, 2014.

J. Seibt, Forms of emergent interaction in General Process Theory, Synthese, vol.166, pp.479-512, 2009.

J. Seibt, The Stanford Encyclopedia of Philosophy, 2013.

, The Coq Development Team, 2018.

S. Van-den-vonder, J. D. Koster, F. Myter, and W. D. Meuter, Tackling the Awkward Squad for Reactive Programming: The Actor-reactor Model, Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, pp.27-33, 2017.

A. Van-der-ploeg, Monadic Functional Reactive Programming, Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell (Haskell '13), pp.117-128, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00923382

P. Van and R. , Programming Paradigms for Dummies: What Every Programmer Should Know, New Computational Paradigms for Computer, 2009.

. Ircam/delatour,

P. Wegner, Why Interaction Is More Powerful Than Algorithms, Commun. ACM, vol.40, pp.80-91, 1997.
DOI : 10.1145/253769.253801

, The three pages of the Volta HMI, and the left-right switch on the joystick to navigate them. The switch is connected to two GPIOs on the embedded platform

, visible rectangles as push-button Component mouse_page_up_page_down { GNoOutline noo GFillColor black