1. Beaudouin-Lafon, M., Mackay, W.: Prototyping tools and techniques. In: Jacko, J.A., Sears, A. (eds.) The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging applications, Chap. 52, 365 Broadway Hillsdale, NJUnited States, pp. 1006–1031. L. Erlbaum Associates Inc. (2002)
2. Beyer, H., Holtzblatt, K.: Contextual Design: Defining Customer-Centred Systems. Morgan Kaufmann, San Francisco (1998)
3. Bolton, M.L., Bass, E., Siminiceanu, R.: Using formal verification to evaluate human-automation interaction: a review. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 43(3), 488–503 (2013)
4. Bowen, J., Reeves, S.: Formal models for informal GUI designs. Electron. Not. Theoret. Comput. Sci. 183, 57–72 (2007). proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006)
5. Campos, J.C., Sousa, M., Alves, M.C.B., Harrison, M.D.: Formal verification of a space system’s user interface with the IVY workbench. IEEE Trans. Hum.-Mach. Syst. 46(2), 303–316 (2016). https://doi.org/10.1109/THMS.2015.2421511