A. Abdul, J. Vermeulen, D. Wang, B. Y. Lim, and M. Kankanhalli, Trends and Trajectories for Explainable, Accountable and Intelligible Systems: An HCI Research Agenda, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18), vol.582, 2018.

, ARINC661 Cockpit Display System Interfaces to User Systems ARINC Specification 661, supplement 6. Standard, 2016.

S. Antifakos, N. Kern, B. Schiele, and A. Schwaninger, Towards Improving Trust in Contextaware Systems by Displaying System Confidence, Proceedings of the 7th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI '05), pp.9-14, 2005.

, SwingStates: Adding State Machines to the Swing Toolkit, Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology (UIST '06), pp.319-322, 2006.

M. Assad, D. J. Carmichael, J. Kay, and B. Kummerfeld, PersonisAD: Distributed, Active, Scrutable Model Framework for Context-Aware Services, vol.4480, pp.55-72, 2007.

L. Barkhuus and A. Dey, Is Context-Aware Computing Taking Control away from the User? Three Levels of Interactivity Examined, UbiComp 2003: Ubiquitous Computing: 5th International Conference, pp.149-156, 2003.

R. Bastide and P. A. Palanque, Petri Net Objects for the Design, Validation and Prototyping of User-driven Interfaces, Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction (INTERACT '90), pp.625-631, 1990.

R. Bastide and P. A. Palanque, Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues, Computer-Aided Design of User Interfaces I, Jean Vanderdonckt, pp.285-302, 1996.

O. Bau and W. E. Mackay, OctoPocus: A Dynamic Guide for Learning Gesture-based Command Sets, Proceedings of the 21st Annual ACM Symposium on User Interface Software and Technology (UIST '08), pp.37-46, 2008.

P. Baudisch, D. Tan, M. Collomb, D. Robbins, K. Hinckley et al., Phosphor: Explaining Transitions in the User Interface Using Afterglow Effects, Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology (UIST '06), pp.169-178, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00128259

V. Bellotti and K. Edwards, Intelligibility and Accountability: Human Considerations in Context-Aware Systems, Human-Computer Interaction, vol.16, issue.2, pp.193-212, 2001.

B. Burg, A. J. Ko, and M. D. Ernst, Explaining Visual Changes in Web Interfaces, Proceedings of the 28th Annual ACM Symposium on User Interface Software and Technology (UIST '15), pp.259-268, 2015.

J. M. Carroll and M. B. Rosson, Paradox of the Active User, 1987.

R. Catrambone and J. M. Carroll, Learning a Word Processing System with Training Wheels and Guided Exploration, Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface (CHI '87), pp.169-174, 1987.

S. Clifford and J. Jerit, Is There a Cost to Convenience? An Experimental Comparison of Data Quality in Laboratory and Online Studies, Journal of Experimental Political Science, vol.1, pp.120-131, 2014.

F. Dandurand, T. R. Shultz, and K. H. Onishi, Comparing online and lab methods in a problemsolving experiment, Behavior Research Methods, vol.40, pp.428-434, 2008.

W. Delamare, C. Coutrix, and L. Nigay, Designing Guiding Systems for Gesture-based Interaction, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15), pp.44-53, 2015.

T. Djajadiningrat, K. Overbeeke, and S. Wensveen, On the Creation of Meaning in Interaction Design Through Feedforward and Inherent Feedback, Proceedings of the 4th Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (DIS '02), pp.285-291, 2002.

R. Mica and . Endsley, Designing for Situation Awareness: An Approach to User-Centered Design, 2011.

D. K. Farkas, The role of balloon help, ACM SIGDOC Asterisk Journal of Computer Documentation, vol.17, pp.3-19, 1993.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Objectoriented Software, 1995.

M. Green, A Survey of Three Dialogue Models, ACM Trans. Graph, vol.5, pp.244-275, 1986.

T. R. Green, Cognitive Dimensions of Notations, Proceedings of the Fifth Conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and Computers V, pp.443-460, 1989.

T. Grossman and G. Fitzmaurice, ToolClips: An Investigation of Contextual Video Assistance for Functionality Understanding, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '10), pp.1515-1524, 2010.

C. Kelleher and R. Pausch, Stencils-based Tutorials: Design and Evaluation, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '05), pp.541-550, 2005.

J. Andrew, B. A. Ko, and . Myers, Extracting and answering why and why not questions about Java program output, ACM Transactions on Software Engineering and Methodology, vol.20, pp.1-36, 2010.

B. Lafreniere, K. Parmit, A. Chilana, M. A. Fourney, and . Terry, These Aren't the Commands You're Looking For: Addressing False Feedforward in Feature-Rich Software, Proceedings of the 28th Annual ACM Symposium on User Interface Software and; Technology (UIST '15), pp.619-628, 2015.

J. Lazar, A. Jones, and B. Shneiderman, Workplace user frustration with computers: an exploratory investigation of the causes and severity, Behaviour & Information Technology, vol.25, issue.3, pp.239-251, 2006.

C. Letondal, S. Chatty, G. Philips, F. André, and S. Conversy, Usability requirements for interaction-oriented development tools, PPIG 2010, 22nd Annual Workshop on the Psychology of Programming Interest Group, pp.12-16, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01022441

Y. Brian, . Lim, K. Anind, and . Dey, Toolkit to Support Intelligibility in Context-aware Applications, Proceedings of the 12th ACM International Conference on Ubiquitous Computing (UbiComp '10), pp.13-22, 2010.

B. Y. Lim, A. K. Dey, and D. Avrahami, Why and Why Not Explanations Improve the Intelligibility of Context-aware Intelligent Systems, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '09), pp.2119-2128, 2009.

Q. Limbourg, J. Vanderdonckt, B. Michotte, L. Bouillon, and M. Florins, USIXML: A User Interface Description Language Supporting Multiple Levels of Independence, ICWE Workshops, pp.325-338, 2004.

K. Luyten, T. Clerckx, K. Coninx, and J. Vanderdonckt, Derivation of a Dialog Model from a Task Model by Activity Chain Extraction, Interactive Systems. Design, Specification, and Verification, pp.203-217, 2003.

C. Martinie, D. Navarre, P. Palanque, and C. Fayollas, A Generic Tool-supported Framework for Coupling Task Models and Interactive Applications, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15), pp.244-253, 2015.

L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg et al., Flapjax: a programming language for Ajax applications, ACM SIGPLAN Notices, vol.44, 2009.

B. M. Muir, Trust in Automation: Part I. Theoretical Issues in the Study of Trust and Human Intervention in Automated Systems, Ergonomics, vol.37, pp.1905-1922, 1994.

L. Müller, I. Aslan, and L. Krüßen, GuideMe: A Mobile Augmented Reality System to Display User Manuals for Home Appliances, Advances in Computer Entertainment, vol.8253, pp.152-167, 2013.

B. Myers, S. E. Hudson, R. Pausch, and R. Pausch, Past, Present, and Future of User Interface Software Tools, ACM Trans. Comput.-Hum. Interact, vol.7, issue.1, pp.3-28, 2000.

B. Myers, S. Y. Park, Y. Nakano, G. Mueller, and A. Ko, How designers design and program interactive behaviors, 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, pp.177-184, 2008.

B. A. Myers, Separating Application Code from Toolkits: Eliminating the Spaghetti of Call-backs, Proceedings of the 4th Annual ACM Symposium on User Interface Software and Technology (UIST '91), pp.211-220, 1991.

M. Nancel and A. Cockburn, Causality: A Conceptual Model of Interaction History, Proceedings of the 32Nd Annual ACM Conference on Human Factors in Computing Systems (CHI '14), pp.1777-1786, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01523298

A. Donald and . Norman, Living with complexity, 2010.

A. Donald and . Norman, The design of everyday things: Revised and expanded edition. Basic Books (AZ), 2013.

D. R. Olsen and J. , Pushdown Automata for User Interface Management, ACM Trans. Graph, vol.3, issue.3, pp.177-203, 1984.

D. R. Olsen and J. , Evaluating User Interface Systems Research, Proceedings of the 20th Annual ACM Symposium on User Interface Software and Technology (UIST '07), pp.251-258, 2007.

S. Oney, B. Myers, and J. Brandt, ConstraintJS: Programming Interactive Behaviors for the Web by Integrating Constraints and States, Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology (UIST '12), pp.229-238, 2012.

S. Oney, B. Myers, and J. Brandt, InterState: A Language and Environment for Expressing Interface Behavior, Proceedings of the 27th Annual ACM Symposium on User Interface Software and Technology (UIST '14), pp.263-272, 2014.

S. Robert and . Rist, Plans in programming: definition, demonstration, and development, Empirical studies of programmers, pp.28-47, 1986.

G. Rovelo, D. Degraen, D. Vanacken, K. Luyten, and K. Coninx, Gestu-Wan -An Intelligible Mid-Air Gesture Guidance System for Walk-up-and-Use Displays, Human-Computer Interaction -INTERACT 2015, vol.9297, pp.368-386, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01599876

M. Samek, Who moved my state, Dr. Dobb's Journal, 2003.

J. Schwarz, J. Mankoff, and S. Hudson, Monte Carlo Methods for Managing Interactive State, Action and Feedback Under Uncertainty, Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology (UIST '11), pp.235-244, 2011.

K. Sen, S. Kalasapur, T. Brutch, and S. Gibbs, Jalangi: A Selective Record-replay and Dynamic Analysis Framework for JavaScript, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp.488-498, 2013.

M. Terry and E. D. Mynatt, Side Views: Persistent, On-demand Previews for Open-ended Tasks, Proceedings of the 15th Annual ACM Symposium on User Interface Software and Technology (UIST '02), pp.71-80, 2002.

D. Vanacken, A. Demeure, K. Luyten, and K. Coninx, Ghosts in the interface: meta-user interface visualizations as guides for multi-touch interaction, Proceedings of the 3rd IEEE international workshop on Horizontal Interactive Human Computer Systems (TABLETOP '08), pp.81-84, 2008.

J. Vermeulen, K. Luyten, E. Van-den-hoven, and K. Coninx, Crossing the Bridge over Norman's Gulf of Execution: Revealing Feedforward's True Identity, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '13), pp.1931-1940, 2013.

W. A. Woods, Transition network grammars for natural language analysis, Commun. ACM, vol.13, pp.591-606, 1970.