E. Barboni, S. Conversy, D. Navarre, and P. Palanque, Model- Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. 13th conf. on Design Specification and Verification of Interactive Systems, pp.25-38, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01021771

E. Barboni, J. Ladry, D. Navarre, P. Palanque, and M. Winckler, Beyond modelling, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.165-174, 2010.
DOI : 10.1145/1822018.1822043

E. Barboni, R. Bastide, X. Lacaze, D. Navarre, and P. Palanque, Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 -10th Workshop on Algorithms and Tools for Petri Nets, 2003.

R. Bastide, D. Navarre, P. Palanque, A. Schyn, and P. Dragicevic, A model-based approach for real-time embedded multimodal systems in military aircrafts, Proceedings of the 6th international conference on Multimodal interfaces , ICMI '04, 2004.
DOI : 10.1145/1027933.1027974

M. Beaudouin-lafon, CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets, Proc. of ICATPN'2001: 22nd International Conference on Application and Theory of Petri Nets, pp.71-80, 2001.
DOI : 10.1007/3-540-45740-2_6

A. Dix, Upside down "s and algorithms ? computational formalisms and theory HCI Models Theories and Frameworks: Toward a Multidisciplinary Science, pp.381-429, 2003.

A. Dix, Formal methods for interactive systems, 1991.

N. Fuchs, Specifications are (preferably) executable, Software Engineering Journal, vol.7, issue.5, pp.323-334, 1992.
DOI : 10.1049/sej.1992.0033

C. Gram and G. Cockton, Design principles for Interactive Software, 1996.
DOI : 10.1007/978-0-387-34912-1

A. Hamon, P. Palanque, J. Silva, Y. Deleris, and E. Barboni, Formal description of multi-touch interactions, Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '13, pp.207-216, 2013.
DOI : 10.1145/2494603.2480311

I. Hayes and C. B. Jones, Specifications are not (necessarily) executable, Software Engineering Journal, vol.4, issue.6, pp.330-338, 1989.
DOI : 10.1049/sej.1989.0045

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4, 2007.
DOI : 10.1007/s10009-007-0038-x

C. Martinie, P. Palanque, E. Barboni, M. Winckler, M. Ragosta et al., Formal tasks and systems models as a tool for specifying and assessing automation designs, Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS '11, pp.50-59, 2011.

C. Martinie, P. Palanque, D. Navarre, and E. Barboni, A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments, Proceedings of the 4th international conference on Human-Centered Software Engineering (HCSE'12), pp.72-93, 2012.
DOI : 10.1007/978-3-642-34347-6_5

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. IFIP TC13 Human Computer Interaction 2011 (INTERACT), pp.134-152

D. Navarre, P. Palanque, J. Ladry, and E. Barboni, ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-1856, 2009.
DOI : 10.1145/1614390.1614393

D. Norman, «The Design of Everyday Things (Originally published: The psychology of everyday things).» The Design of Everyday Things (Originally published: The psychology of everyday things), 1988.

P. Palanque, R. Bernhaupt, D. Navarre, M. Ould, and M. Winckler, Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification, SpaceOps 2006 Conference, 2006.
DOI : 10.2514/6.2006-5657

F. Paternó and C. Santoro, Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties, DSV-IS 2000 Interactive Systems: Design , Specification and Verification, pp.135-150, 1946.
DOI : 10.1007/3-540-44675-3_9

J. Silva, C. Fayollas, A. Hamon, P. Palanque, C. Martinie et al., Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems, 2013.

J. S. Willans and M. D. Harrison, Prototyping Pre-implementation Designs of Virtual Environment Behaviour, Proc. of the 8th IFIP Int. Conf. on Engineering for Hum.- Comput. Interact, pp.91-101, 2001.
DOI : 10.1007/3-540-45348-2_11

C. Martinie, P. Palanque, M. Ragosta, and R. Fahssi, Extending procedural task models by systematic explicit integration of objects, knowledge and information, Proceedings of the 31st European Conference on Cognitive Ergonomics, ECCE '13, p.10, 2013.
DOI : 10.1145/2501907.2501954