1. Busser, R.D., Blackburn, M.R., Nauman, A.M.: Automated model analysis and test generation for flight guidance mode logic. In: 20th DASC. 20th Digital Avionics Systems Conference (Cat. No. 01CH37219), vol. 2, pp. 9B3-1. IEEE (2001)
2. Campos, J., et al.: A “more intelligent’’ test case generation approach through task models manipulation. Proc. ACM Hum. Comput. Interact. 1(EICS), 9:1-9:20 (2017). https://doi.org/10.1145/3095811
3. Gonçalves, M.J.R.: Model-based Testing of User Interfaces. Msc. Dissertation, Escola de Engenharia, Universidade do Minho (2017)
4. Gray, W.D., Boehm-Davis, D.A.: Milliseconds matter: an introduction to microstrategies and to their use in describing and predicting interactive behavior. J. Exp. Psychol. Appl. 6(4), 322–335 (2000). https://doi.org/10.1037//1076-898x.6.4.322
5. ISO/IEC: ISO/IEC 25010:2011 systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models. International Organization for Standardization (2011). https://www.iso.org/standard/35733.html