A. Adriansyah, B. F. Van-dongen, and W. M. Van-der-aalst, Conformance Checking Using Cost-Based Fitness Analysis. In: EDOC'11, 2011.

F. Balagtas-fernandez and H. Hussmann, A Methodology and Framework to Simplify Usability Analysis of Mobile Applications, ASE'09, 2009.

D. Benyon, Designing Interactive Systems: A comprehensive guide to HCI, UX and interaction design, vol.3, 2014.

J. C. Campos, M. Sousa, M. C. Alves, and M. D. Harrison, Formal verification of a space system's user interface with the ivy workbench, IEEE SMC, vol.46, issue.2, 2016.

J. Carmona, B. Van-dongen, A. Solti, and M. Weidlich, Conformance Checking: Relating Processes and Models, 2018.

G. De-giacomo, F. M. Maggi, A. Marrella, and F. Patrizi, On the Disruptive Effectiveness of Automated Planning for LTLf -Based Trace Alignment, AAAI'17, 2017.

G. De-giacomo, F. M. Maggi, A. Marrella, and S. Sardiña, Computing Trace Alignment against Declarative Process Models through Planning, ICAPS'16, 2016.

H. Dev and Z. Liu, Identifying frequent user tasks from application logs, IUI'17, 2017.

M. Dignum, A model for organizational interaction: based on agents, founded in logic, SIKS, 2004.

A. Dix, J. Finlay, G. Abowd, and R. Beale, , 2004.

S. Dumais, R. Jeffries, D. M. Russell, D. Tang, and J. Teevan, Understanding user behavior through log data and analysis, Ways of Knowing in HCI, 2014.

M. S. Feary, A toolset for supporting iterative human automation: Interaction in design, 2010.

X. Ferre, N. Juristo, and A. M. Moreno, Improving software engineering practice with HCI aspects, SERA'03, 2003.

X. Ferre, E. Villalba, H. Julio, and H. Zhu, Extending mobile app analytics for usability test logging, INTERACT'17, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01717210

D. Harel, Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, issue.3, pp.231-274, 1987.

H. R. Hartson, T. S. Andre, and R. C. Williges, Criteria for evaluating usability evaluation methods, Int. Journal of Human-Computer Interaction, vol.13, issue.4, pp.373-410, 2001.

A. Holzinger, C. Biemann, C. S. Pattichis, and D. B. Kell, What do we need to build explainable ai systems for the medical domain?, 2017.

L. E. Janlert and E. Stolterman, Things That Keep Us Busy: The Elements of Interaction, 2017.

B. E. John and D. E. Kieras, The goms family of user interface analysis techniques: Comparison and contrast, ACM TOCHI, vol.3, issue.4, 1996.

J. Kjeldskov and M. B. Skov, Was it worth the hassle?, Ten years of mobile HCI research discussions on lab and field evaluations, 2014.

T. Lau and E. Horvitz, Patterns of search: analyzing and modeling web query refinement, UM99 User Modeling, pp.119-128, 1999.

F. Lettner and C. Holzmann, Automated and unsupervised user interaction logging as basis for usability evaluation of mobile applications, 10th Int. Conf. on Advances in Mobile Computing & Multimedia, pp.118-127, 2012.

A. Marrella and T. Catarci, Measuring the Learnability of Interactive Systems Using a Petri Net Based Approach, 2018 Designing Interactive Systems Conf

G. Mori, F. Paternò, and C. Santoro, CTTE: support for developing and analyzing task models for interactive system design, IEEE Trans. Sof. Eng, vol.28, issue.8, 2002.

N. Oliver, G. Smith, C. Thakkar, and A. C. Surendran, Swish: semantic analysis of window titles and switching history, IUI'06, 2006.

L. Paganelli and F. Paternò, Tools for remote usability evaluation of web applications through browser logs and task models, Behavior Research Methods, Instruments, & Computers, vol.35, issue.3, pp.369-378, 2003.

P. Parvin, Real-time anomaly detection in elderly behavior, ACM SIGCHI Symposium on Engineering Interactive Computing Systems. EICS '18, 2018.

F. Paterno, Model-Based Design and Evaluation of Interactive Applications, 1999.

M. Pesic, H. Schonenberg, and W. M. Van-der-aalst, DECLARE: Full Support for Loosely-Structured Processes, pp.287-300, 2007.

A. Pnueli, The temporal logic of programs, In: Found. of Computer Science, 1977.

J. Shen, J. Irvine, X. Bao, M. Goodman, S. Kolibaba et al., Detecting and correcting user activity switches: algorithms and interfaces, IUI'09, 2009.

A. G. Sutcliffe and I. Wang, Integrating human computer interaction with jackson system development, The computer journal, vol.34, issue.2, pp.132-142, 1991.

O. Sy, R. Bastide, P. Palanque, D. Le, and D. Navarre, PetShop: a CASE tool for the Petri Net based specification and prototyping of CORBA systems, In: Petri nets, p.78, 2000.

S. K. Tyler and J. Teevan, Large scale query log analysis of re-finding, Third ACM Int. Conf. on Web search and data mining, pp.191-200, 2010.

T. Valle and W. Prata, Automated usability tests for mobile devices through live emotions logging, 17th Int. Conf. on Human-Computer Interaction with Mobile Devices and Services Adjunct, pp.636-643, 2015.

J. Van-den-bos, M. J. Plasmeijer, and P. H. Hartel, Input-Output Tools: A Language Facility for Interactive and Real-Time Systems, IEEE Trans. Sof. Eng, issue.3, 1983.

A. I. Wasserman, Extending state transition diagrams for the specification of human-computer interaction, IEEE Trans. on Soft. Eng, issue.8, pp.699-713, 1985.