A. Ameur, Y. Baron, M. Kamel, N. Mota, and J. , Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer, vol.1, issue.2, pp.239-253, 2009.
DOI : 10.1007/s10009-009-0109-2

J. C. Baeten, A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3, pp.2-3, 2005.
DOI : 10.1016/j.tcs.2004.07.036

G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor et al., ESTEREL: a formal method applied to avionic software development, Science of Computer Programming, vol.36, issue.1, pp.5-25, 2000.
DOI : 10.1016/S0167-6423(99)00015-5
URL : https://hal.archives-ouvertes.fr/hal-00579632

B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, LNCS 2566, pp.85-108, 2002.
DOI : 10.1007/3-540-36377-7_5
URL : https://hal.archives-ouvertes.fr/inria-00528442

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.
DOI : 10.1145/192426.192500

S. Chatty, Supporting Multidisciplinary Software Composition for Interactive Applications, Proc. of the 7th international symposium on software composition, pp.173-189, 2008.
DOI : 10.1007/978-3-540-78789-1_14
URL : https://hal.archives-ouvertes.fr/hal-01022139

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, EICS '15, 2015.
DOI : 10.1145/2774225.2774848

P. Cousot, C. , and R. , Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

D. J. Duke and M. D. Harrison, Abstract Interaction Objects, Computer Graphics Forum, vol.12, issue.3, pp.25-36, 1993.
DOI : 10.1111/1467-8659.1230025

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

E. Technologies, Scade display HMI software design. http://www.esterel-technologies.com/ products/scade-display

D. Goldin, S. Smolka, and P. Wegner, Interactive computation -the new paradigm, 2006.

J. M. González-calleros, J. Guerrero-garcia, and J. Vanderdonckt, Advance human???machine interface automatic evaluation, Universal Access in the Information Society, vol.4, issue.2, pp.387-401, 2013.
DOI : 10.1007/s10209-013-0310-7

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of IEEE, pp.79-1305, 1991.

A. Hussey and D. Carrington, Specifying a Web Browser Interface Using Object-Z, pp.157-174, 1998.

L. Charlier and B. , Abstract Interpretation and Application to Interactive System Verification, Proc. DSV-IS'96, pp.46-72, 1996.
DOI : 10.1007/978-3-7091-7491-3_3

B. Myers, Separating application code from toolkits, Proceedings of the 4th annual ACM symposium on User interface software and technology , UIST '91, pp.211-220, 1991.
DOI : 10.1145/120782.120805

B. A. Myers and M. B. Rosson, Survey on user interface programming, Proceedings of ACM CHI'92, pp.195-202, 1992.

P. Palanque, E. Barboni, C. Martinie, D. Navarre, and M. Winckler, A model-based approach for supporting engineering usability evaluation of interaction techniques, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.21-30, 2011.
DOI : 10.1145/1996461.1996490

H. Thimbleby and J. Gow, Applying Graph Theory to Interaction Design, Proc. EICS2007, J. Gulliksen, pp.501-518, 2008.
DOI : 10.1038/30918