G. D. Abowd, H. M. Wang, and A. F. Monk, A formal technique forautomated dialogue development, Proceedings of the 1st Conference on Designing Interactive Systems: Processes, Practices, Methods, & Techniques, DIS 1995, pp.219-226, 1995.

J. R. Abrial, The B-Book: Assigning Programs to Meanings, 1996.

J. R. Abrial, Modeling in Event-B: System and Software Engineering, 2010.

J. R. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in event-b, Int. J. Softw. Tools Technol. Transf, vol.12, issue.6, pp.447-466, 2010.

Y. A. Ameur, Cooperation of formal methods in an engineering based software development process, 2000 Proceedings Second International Conference Integrated Formal Methods, IFM 2000, pp.136-155, 2000.

Y. A. Ameur, I. Aït-sadoune, J. Mota, and M. Baron, Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve, Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, pp.123-130, 2006.

Y. A. Ameur, P. Girard, and F. Jambon, A uniform approach for specification and design of interactive systems: the B method. In: Design, Specification and Verification of Interactive Systems, Supplementary Proceedings of the Fifth International Eurographics Workshop, pp.51-67, 1998.

Y. A. Ameur, P. Girard, and F. Jambon, Using the B formal approach for incremental specification design of interactive systems, IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, pp.91-109, 1998.

Y. A. Ameur, I. A. Sadoune, and M. Baron, Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, Informations, vol.13, issue.2, pp.127-155, 2008.

M. Baron, V. Lucquiaud, D. Autard, and D. L. Scapin, K-made: Unenvironnement pour le noyau du modèle de description del'activité, Proceedings of the 18th Conference onL'Interaction Homme-Machine, IHM, pp.287-288, 2006.

M. L. Bolton, R. I. Siminiceanu, and E. J. Bass, A systematic approach to model checking human -automation interaction using task analytic models, IEEE Trans. Syst. Man Cybern. -Part A: Syst. Hum, vol.41, issue.5, pp.961-976, 2011.

M. L. Bolton and E. J. Bass, Building a formal model of a human-interactive system: insights into the integration of formal methods and human factors engineering, First NASA Formal Methods Symposium -NFM, pp.6-15, 2009.

J. Bowen and S. Reeves, Formal models for user interface design artefacts, Innov. Syst. Softw. Eng, vol.4, issue.2, pp.125-141, 2008.

J. Bowen and S. Reeves, Refinement for user interface designs, Electron. Notes Theor. Comput. Sci, vol.208, pp.5-22, 2008.

J. C. Campos and M. D. Harrison, Systematic analysis of control panel interfaces using formal tools, DSV-IS 2008, vol.5136, pp.72-85

, , 2008.

S. Combéfis, D. Giannakopoulou, C. Pecheur, and M. Feary, Learning system abstractions for human operators, Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering, pp.3-10, 2011.

S. Combéfis and C. Pecheur, A bisimulation-based approach to the analysis of human-computer interaction, Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.101-110, 2009.

J. Coutaz, L. Nigay, D. Salber, A. Blandford, J. May et al., Four easy pieces for assessing the usability of multimodal interaction: the care properties, pp.115-120, 1995.

A. Dix, J. E. Finlay, G. D. Abowd, and R. Beale, Human-Computer Interaction, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01572646

, Formal Description Technique Lotos: Results of the Esprit Sedos Project, 1989.

M. Heymann and A. Degani, Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm, Hum. Factors, vol.49, issue.2, pp.311-330, 2007.

F. Jambon, From formal specifications to secure implementations, Proceedings of the Fourth International Conference on Computer-Aided Design of User Interfaces III, Valenciennes, pp.51-62, 2002.

V. ;. Lecrubier, . Institut-superieur-de-l'aeronautique, and . De-l'espace, A formal language for designing, specifying and verifying critical embedded human machine interfaces. Theses
URL : https://hal.archives-ouvertes.fr/tel-01455466

. Universite-de-toulouse, , 2016.

M. Leuschel and M. Butler, ProB: a model checker for B, FME 2003, vol.2805, pp.855-874, 2003.

M. Li, J. Wei, X. Zheng, and M. L. Bolton, A formal machine-learning approach to generating human-machine interfaces from task models, IEEE Trans. Hum.-Mach. Syst, vol.47, issue.6, pp.822-833, 2017.

D. Méry and N. K. Singh, Automatic code generation from event-b models, Proceedings of the Second Symposium on Information and Communication Technology, pp.179-188, 2011.

L. M. Mohand-oussaïd, Formal modelling and verification of multimodal human computer interfaces : output multimodality. Theses, ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique -Poitiers, 2014.

D. Navarre, P. Palanque, F. Paternò, C. Santoro, and R. Bastide, A tool suite for integrating task and system models through scenarios, DSV-IS 2001, vol.2220, pp.88-113, 2001.

P. Palanque, R. Bastide, and V. Sengès, Validating interactive system design through the verification of formal task and system models, EHCI 1995. IFIP Advances in Information and Communication Technology, pp.189-212, 1996.

P. A. Palanque and R. Bastide, Petri net based design of user-driven interfaces using the interactive cooperative objects formalism, Interactive Systems: Design, Specification, and Verification Focus on Computer Graphics (Tutorials and Perspectives in Computer Graphics), pp.383-400, 1995.

P. Palanque, R. Bastide, K. Nordby, P. Helmersen, and D. J. Gilmore, Verification of an interactive software by analysis of its formal specification, Human-Computer Interaction. IFIP Advances in Information and Communication Technology, pp.191-196, 1995.

T. M. Reenskaug, The original MVC reports, 1979.

R. Ruksenas, P. Masci, M. D. Harrison, and P. Curzon, Developing and verifying user interface requirements for infusion pumps: a refinement approach, ECEASST, pp.1863-2122, 2013.

P. Pinheiro-da-silva, T. Griffiths, and N. W. Paton, Generating user interface code in a model based user interface development environment, Proceedings of the Working Conference on Advanced Visual Interfaces, pp.155-160, 2000.

N. K. Singh, Using Event-B for Critical Device Software Systems, 2013.