A. , J. And-hallerstede, and S. , Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B, Fundamenta Informaticae, vol.77, pp.1-28, 2007.

A. , Y. Aït-sadoune, I. And, and M. Baron, Etude et comparaison de scénarios de développements formels d'interfaces multimodales fondés sur la preuve et le raffinement, 6ème Conférence Francophone de Modélisation, Optimisation et SImulation des Systèmes : Défis et Opportunités (MOSIM'06), pp.578-588, 2006.

A. , Y. Aït-sadoune, I. Baron, M. And-mota, and J. , Validation et vérification formelles de systèmes interactifs multimodaux fondées sur la preuve, 18 e Conférence Francophone sur l'Interaction Homme-Machine (IHM'2006, pp.123-130, 2006.

A. , Y. Aït-sadoune, I. Baron, M. And-mota, and J. , Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement, pp.127-154, 2008.

A. , Y. Baron, M. And-girard, and P. , Formal validation of hci user tasks, International Conference on Software Engineering Research and Practice -SERP 2003, pp.732-738, 2003.

A. , Y. Baron, M. Kamel, N. And-mota, and J. , Encoding a process algebra using the Event B method. Software Tools and Technology Transfer, pp.239-253, 2009.

A. , Y. Bréholée, B. Girard, P. Guittet, L. And-jambon et al., Formal verification and validation of interactive systems specifications. from informal specitications to formal validation, Conference of Human Error, Safety and Systems Development, 2004.

A. , Y. Girard, P. And-jambon, and F. , Using the b formal approach for incremental specification design of interactive systems, Engineering for Human-Computer, pp.91-108, 1998.

A. , I. And-aït-ameur, and Y. , Animating Event B Models by Formal Data Models, ISOLA 2008 -3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2008.

R. Back, X. Fan, and V. And-preoteasa, Reasoning about pointers in refinement calculus, Tenth Asia-Pacific Software Engineering Conference, 2003., p.425, 2003.
DOI : 10.1109/APSEC.2003.1254398

R. Back, . And, and K. Sere, Stepwise refinement of action systems, Proceedings of the International Conference on Mathematics of Program Construction, pp.115-138, 1989.
DOI : 10.1007/3-540-51305-1_7

B. , M. Lucquiaud, V. Autard, D. And, and D. Scapin, K-MADe : un environement pour le noyau du modèle de description de l'activité, 18ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2006), pp.287-288, 2006.

L. Bass, R. Pellegrino, S. Reed, S. Sheppard, and M. And-szczur, The Arch Model : Seeheim Revisited, CHI 91 User Interface Developper's Workshop, 1991.

B. , D. S. Lncs, E. Bouchet, J. Nigay, L. And-ganille et al., Icare software components for rapidly developing multimodal interfaces, Proc. of VDM Europe Symposium'87, Proceedings of ACM-CHI 2004, Extended Abstracts, pp.1325-1328, 1987.

B. , P. Alencar, P. Cowan, D. And-lucena, and C. , Validating Properties of Component-Based Graphical User Interfaces, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'96, pp.347-365, 1996.

C. , J. Harrison, and M. , Formally Verifying Interactive Systems: A Review, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'97, pp.109-124, 1997.

C. , J. Nigay, L. Salber, D. Blandford, A. May et al., Four easy pieces for assessing the usability of multimodal interaction: the CARE properties, Proceedings of Human Computer Interaction -Interact'95. Chapman and Hall, pp.115-120, 1995.

D. , F. Jambon, F. Girard, P. And-guittet, and L. , Le modèle d'architecture logicielle H4 : Principes, usages, outils et retours d'expérience dans les applications de conception technique. Revue d, Interaction Homme-Machine (RIHM), vol.7, issue.1, pp.93-129, 2006.

D. , A. Finlay, J. Abowd, G. And-beale, and R. , Human-Computer Interaction, 1993.

D. , D. Harrison, and M. , Abstract Interaction Objects, Proceedings of Eurographics conference and computer graphics forum, pp.25-36, 1993.

D. , D. Harrison, and M. , Towards a Theory of Interactors, Amodeus Esprit Basic Research Project, vol.7040, 1993.

D. , D. Harrison, and M. D. , Event Model of Human-System Interaction, IEEE Software Engineering Journal, vol.10, issue.1, pp.3-10, 1995.

F. , G. P. Zani, N. And-paternò, and F. , The input model of standard graphics systems revisited by formal specification, Comput. Graph. Forum, vol.11, pp.237-251, 1992.

G. , P. England, D. And-mcgowan, and S. , XUAN: Enhancing the UAN to Capture Temporal Relation Among Actions, 1994.

H. , M. And-thimbleby, and H. , Formal Methods in Human-Computer Interaction. Series on Human computer interaction, 1990.

H. , D. And, and H. R. Hartson, Developing User Interfaces : Ensuring Usability Through Product and Process, 1993.

J. , F. Girard, P. And-aït-ameur, and Y. , Interactive system safety and usability enforced with the development process, Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, pp.39-55, 2001.

K. , C. Forbrig, P. David, B. Girard, P. et al., Agent-based architecture for interactive system design: current approaches, perspectives, evaluation. In Human-Computer Interaction, Part I, HCII 2009 HCI International, Number LNCS, vol.5610, pp.806-815, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00394944

M. , L. Kamel, N. Aït-sadoune, I. Aït-ameur, Y. And-ahmed-nacer et al., Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport, In IHM et Transports terrestres, 2010.

N. , D. Palanque, P. Bastide, R. Schyn, A. Winckler et al., A formal description of multimodal interaction techniques for immersive virtual reality applications, Proceedings of INTERACT 2005. Lecture Notes in Computer Science, 2005.

N. , L. , F. Jambon, and A. J. , Formal specification of multimodality, CHI'95 Workshop on Formal Specifications of User Interfaces, 1995.

P. , P. Bastide, R. And-sengès, and V. , Validating interactive system design through the verification of formal task and system models, IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction (EHCI'95), pp.189-212, 1995.

P. , F. Mori, G. And-galimberti, and R. , Ctte: An environment for analysis and development of task models of cooperative applications, ACM CHI 2001, 2001.

D. L. Scapin and C. And-pierret-golbreich, Mad : Une méthode analytique de description des tâches, Colloque sur l'Ingénierie des Interfaces Homme-Machine (IHM'89, pp.131-148, 1989.

D. L. Scapin and C. And-pierret-golbreich, Towards a Method for Task Description : MAD. In Work with display units, 1990.