R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, pp.183-235, 1994.

I. Banerjee, B. Nguyen, V. Garousi, and A. M. Memon, Graphical user interface (GUI) testing: Systematic mapping and repository. Information and Software Technology, vol.55, pp.1679-1694, 2013.

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, DSVIS 2006), pp.25-38
URL : https://hal.archives-ouvertes.fr/hal-01021771

L. Bass, R. Little, R. Pellegrino, S. Reed, R. Seacord et al., The arch model: Seeheim revisited, User Interface Developpers' Workshop, 1991.

R. Bastide, D. Navarre, and P. Palanque, A Model-based Tool for Interactive Prototyping of Highly Interactive Applications, CHI '02 Extended Abstracts on Human Factors in Computing Systems, pp.516-517, 2002.

R. Bastide, D. Navarre, P. Palanque, and A. Schyn, & Dragicevic P. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts, Sixth International Conference on Multimodal Interfaces (ICMI'04), 2004.

E. Best and U. Schlachter, Analysis of Petri Nets and Transition Systems. Electron. Proc. Theor, Comput. Sci, vol.189, pp.53-67, 2015.

J. Bowen and S. Reeves, Generating Obligations, Assertions and Tests from UI Models, Proc. ACM Hum.-Comput. Interact, vol.1, p.18, 2017.

J. C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque et al., Systematic Automation of Scenario-based Testing of User Interfaces, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.138-148, 2016.

A. Canny, E. Bouzekri, C. Martinie, and P. Palanque, Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. In: Human-Centered and Error-Resilient Systems Development, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02089262

M. Cronel, B. Dumas, P. Palanque, and A. Canny, MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems, Human-Centered Software Engineering, pp.109-129, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02270703

M. Gaudel, Testing can be formal, too. In: TAPSOFT '95: Theory and Practice of Software Development, pp.82-96, 1995.

A. Hamon, P. Palanque, J. L. Silva, Y. Deleris, and E. Barboni, Formal Description of Multitouch Interactions, Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.207-216, 2013.

A. Hamon, P. Palanque, M. Cronel, R. André, E. Barboni et al., Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multitouch Interactions, Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.173-178, 2014.

J. Ladry and D. Navarre, Palanque, philippe: Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for Sure (Safe, Usable, Reliable and Evolvable) Multimodal Interfaces, Proceedings of the 2009 International Conference on Multimodal Interfaces, pp.185-192, 2009.

,

V. Lelli, A. Blouin, B. Baudry, and F. Coulon, On model-based testing advanced GUIs, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01123647

C. Martinie, D. Navarre, P. Palanque, E. Barboni, and A. Canny, TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems. pp. 4:1-4:7, 2018.

A. M. Memon and B. N. Nguyen, Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End, Advances in Computers, pp.121-162, 2010.

T. Mirlacher, P. Palanque, and R. Bernhaupt, Engineering Animations in User Interfaces, Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.111-120, 2012.

I. C. Morgado and A. C. Paiva, The iMPAcT Tool for Android Testing, Proc. ACM Hum.-Comput. Interact, vol.3, p.23, 2019.

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 Trans. Comput.-Hum. Interact, vol.16, p.56, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02570890

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 net Based Formal Specification, Ninth Int. Conference on Space Operations, 2006.

P. Palanque, J. Ladry, D. Navarre, and E. Barboni, High-Fidelity Prototyping of Interactive Systems can be Formal too 13th Int. Conf. on Human-Computer Interaction (HCI International 2009

P. Palanque, A. Cockburn, C. Gutwin, and Y. Deleris, & Desert-Legendre L. Brace Touch: A Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits, International Conference on Computer Safety, Reliability, and Security 2019 (SAFECOMP), 2019.

M. Pezzè, P. Rondena, and D. Zuddas, Automatic GUI Testing of Desktop Applications: An Empirical Assessment of the State of the Art, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, pp.54-62, 2018.

. Rtca, DO-178C Software Considerations in Airborne Systems and Equipment Certification, 2011.

. Rtca, DO-333 Formal Methods Supplement to DO-178C and DO-278A, 2011.

B. Shneiderman, Direct Manipulation: A Step Beyond Programming Languages, Computer, vol.16, pp.57-69, 1983.

J. M. Spivey and J. Abrial, The Z notation, 1992.

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Softw. Test. Verif. Reliab, vol.22, pp.297-312, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00940611

A. Van-dam, Post-WIMP user interfaces, Communications of the ACM. 40, vol.2, pp.63-67, 1997.

X. Ye, J. Zhou, and X. Song, On reachability graphs of Petri nets, Computers & Electrical Engineering, vol.29, pp.34-43, 2003.