{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:20:59Z","timestamp":1761402059758,"version":"3.37.3"},"reference-count":79,"publisher":"Informa UK Limited","issue":"8","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["WE 5408\/3-1"],"award-info":[{"award-number":["WE 5408\/3-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["KL 2207\/3-3"],"award-info":[{"award-number":["KL 2207\/3-3"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["KL 2207\/7-1"],"award-info":[{"award-number":["KL 2207\/7-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Human\u2013Computer Interaction"],"published-print":{"date-parts":[[2020,5,8]]},"DOI":"10.1080\/10447318.2019.1687234","type":"journal-article","created":{"date-parts":[[2019,12,12]],"date-time":"2019-12-12T06:23:51Z","timestamp":1576131831000},"page":"748-776","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Modeling Framework for the Implementation of Gaze Guiding as an Adaptive Computer-Based Job Aid for the Control of Complex Technical Systems"],"prefix":"10.1080","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4785-708X","authenticated-orcid":false,"given":"Benjamin","family":"Weyers","sequence":"first","affiliation":[{"name":"Human-Computer Interaction, University of Trier, Trier, Germany"}]},{"given":"Barbara","family":"Frank","sequence":"additional","affiliation":[{"name":"Department of Work and Organizational Psychology, Ruhr-University Bochum, Bochum, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8123-0427","authenticated-orcid":false,"given":"Annette","family":"Kluge","sequence":"additional","affiliation":[{"name":"Department of Work and Organizational Psychology, Ruhr-University Bochum, Bochum, Germany"}]}],"member":"301","published-online":{"date-parts":[[2019,12,11]]},"reference":[{"key":"cit0001","unstructured":"A\u00eft-Ameur, Y., Girard, P. & Jambon, F. (1999). Using the B formal approach for incremental specification design of interactive systems. In Chatty, S. & Dewan, P. Engineering for Human-Computer Interaction: IFIP TC2\/TC13 WG2.7\/WG13.4. Seventh Working Conference on Engineering for Human-Computer Interaction, September 14\u201318, 1998, Heraklion, Crete, Greece. Boston, MA: Springer US."},{"issue":"1","key":"cit0002","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1207\/s15327043hup1101_3","volume":"11","author":"Arthur W.","year":"1998","journal-title":"Human Performance"},{"key":"cit0003","first-page":"291","volume":"3295","author":"Balme L.","year":"2004","journal-title":"In EUSAI"},{"issue":"4","key":"cit0004","first-page":"311","volume":"63","author":"B\u00e9trancourt M.","year":"2000","journal-title":"Le Travail Humain"},{"key":"cit0005","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28554-7","volume-title":"Model-driven software development","volume":"15","author":"Beydeda S.","year":"2005"},{"key":"cit0006","first-page":"109","volume-title":"Memory and society. psychological perspectives","author":"Bjork R. A.","year":"2006"},{"key":"cit0007","first-page":"130","volume-title":"Proc. 20th Behav. Represent. Model. Simul. Conf","author":"Bolton M. L.","year":"2011"},{"volume-title":"Handbook of software architecture. Retrieved from https:\/\/handbookofsoftwarearchitecture.com\/","year":"2007","author":"Booch G.","key":"cit0008"},{"key":"cit0009","doi-asserted-by":"crossref","unstructured":"Booch, G. (2015). The future of software engineering: keynote. InProceedings of the 37th International Conference on Software Engineering-Volume 2(pp. 3-3). IEEE Press. doi:10.1109\/ICSE.2015.128","DOI":"10.1109\/ICSE.2015.128"},{"key":"cit0010","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/j.entcs.2007.01.061","volume":"183","author":"Bowen J.","year":"2007","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"2","key":"cit0011","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.apergo.2013.04.017","volume":"45","author":"Burkolter D.","year":"2014","journal-title":"Applied Ergonomics"},{"issue":"3","key":"cit0012","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"Campos J. C.","year":"2001","journal-title":"Automated Software Engineering"},{"key":"cit0013","first-page":"1","volume-title":"Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems","author":"Coutaz J.","year":"2010"},{"volume-title":"HCI and software engineering for user interface plasticity. In Julie, A. Jacko (ed.). The Human-Computer Handbook \u2013 Fundamentals, Evolving Technologies, and Emerging Applications (3rd Edition) (pp. 1195\u20131220)","year":"2012","author":"Coutaz J.","key":"cit0014"},{"issue":"3","key":"cit0015","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1016\/j.chb.2009.01.009","volume":"25","author":"Darabi A. A.","year":"2009","journal-title":"Computers in Human Behavior"},{"issue":"6","key":"cit0016","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1002\/acp.1346","volume":"21","author":"de Koning B. B.","year":"2007","journal-title":"Applied Cognitive Psychology"},{"issue":"2","key":"cit0017","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.learninstruc.2009.02.010","volume":"20","author":"de Koning B. B.","year":"2010","journal-title":"Learning and Instruction"},{"key":"cit0018","first-page":"381","author":"Dix A.","year":"2004","journal-title":"The Handbook of Task Analysis for Human-computer Interaction"},{"volume-title":"Lohhausen: Vom Umgang mit Unbestimmtheit und Komplexit\u00e4t","year":"1994","author":"D\u00f6rner D.","key":"cit0019"},{"volume-title":"Computer Graphics Forum,","year":"1993","author":"Duke D. J.","key":"cit0020"},{"key":"cit0021","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/B978-008043361-5\/50014-6","volume-title":"Eye guidance in reading and scene perception","author":"Findlay J. M.","year":"1998"},{"key":"cit0022","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/1054972.1054994","volume-title":"Proceedings of the SIGCHI conference on Human factors in computing systems","author":"Fono D.","year":"2005"},{"key":"cit0023","doi-asserted-by":"crossref","unstructured":"Frank, B., Kluge A. (2017). Cued Recall with Gaze Guiding\u2014Reduction of Human Errors with a Gaze-Guiding Tool. In: Hale K., Stanney K. (Eds.) Advances in Neuroergonomics and Cognitive Engineering. Advances in Intelligent Systems and Computing, vol. 488. Cham, Switzerland: Springer.","DOI":"10.1007\/978-3-319-41691-5_1"},{"key":"cit0024","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.ergon.2018.05.007","volume":"67","author":"Frank B.","year":"2018","journal-title":"International Journal of Industrial Ergonomics"},{"issue":"2","key":"cit0025","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/s41449-018-00136-9","volume":"73","author":"Frank B.","year":"2019","journal-title":"Zeitschrift F\u00fcr Arbeitswissenschaft (Zfa)"},{"volume-title":"Petri nets for systems engineering: A guide to modeling, verification, and applications","year":"2013","author":"Girault C.","key":"cit0026"},{"issue":"5","key":"cit0027","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1111\/1467-9280.02454","volume":"14","author":"Grant E. R.","year":"2003","journal-title":"Psychological Science"},{"volume-title":"Mensch & computer","year":"2013","author":"Hempel J.","key":"cit0028"},{"key":"cit0029","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.chb.2013.11.013","volume":"32","author":"Jamet E.","year":"2014","journal-title":"Computers in Human Behavioir"},{"key":"cit0030","volume-title":"Coloured Petri nets: Basic concepts, analysis methods and practical use","volume":"1","author":"Jensen K.","year":"2013"},{"key":"cit0031","doi-asserted-by":"crossref","first-page":"2093","DOI":"10.1145\/1753326.1753646","volume-title":"Proceedings of the SIGCHI conference on human factors in computing systems","author":"Kern D.","year":"2010"},{"issue":"2","key":"cit0032","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1207\/S15327051HCI16234_12","volume":"16","author":"Kirsh D.","year":"2001","journal-title":"Human\u2013Computer Interaction"},{"key":"cit0033","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/2818346.2820751","volume-title":"Proceedings of the 2015 ACM on international conference on multimodal interaction","author":"Klamka K.","year":"2015"},{"key":"cit0034","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-5049-4","volume-title":"The acquisition of knowledge and skills for taskwork and teamwork to control complex technical systems","author":"Kluge A.","year":"2014"},{"issue":"2","key":"cit0035","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1080\/00140139.2013.869357","volume":"57","author":"Kluge A.","year":"2014","journal-title":"Ergonomics"},{"issue":"2","key":"cit0036","first-page":"285","volume":"44","author":"Kluge A.","year":"2013","journal-title":"Ergonomics"},{"issue":"2","key":"cit0037","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1504\/IJHFE.2014.067819","volume":"3","author":"Kluge A.","year":"2014","journal-title":"International Journal of Human Factors and Ergonomics"},{"issue":"3","key":"cit0038","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1080\/21577323.2014.920437","volume":"2","author":"Kluge A.","year":"2014","journal-title":"IIE Transactions on Occupational Ergonomics and Human Factors"},{"issue":"3","key":"cit0039","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1080\/00140139.2018.1542036","volume":"62","author":"Kluge A.","year":"2019","journal-title":"Ergonomics"},{"key":"cit0040","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/j.apergo.2016.08.030","volume":"59","author":"Kluge A.","year":"2017","journal-title":"Applied Ergonomics"},{"key":"cit0041","unstructured":"Kummer, O. (2002). Referenznetze: Dissertation zur Erlangung des Doktorgrades am Fachbereich Informatik der Universit\u00e4t Hamburg. Logos."},{"key":"cit0042","first-page":"484","volume-title":"International conference on application and theory of Petri Nets","author":"Kummer O.","year":"2004"},{"key":"cit0043","unstructured":"Limbourg, Q., Vanderdonckt, J., Michotte, B., Bouillon, L., Florins, M. & Trevisan, D. (2004a, May). USIXML: A user interface description language for context-sensitive user interfaces. InProceedings of the working conference on Advanced visual interfaces (AVI\u20192004), Workshop on developing user interfaces with XML: Advances on user interface description languages(pp. 55\u201362), Gallipoli, Italy"},{"key":"cit0044","doi-asserted-by":"crossref","unstructured":"Limbourg, Q., Vanderdonckt, J., Michotte, B., Bouillon, L. & L\u00f3pez-Jaquero, V. (2004b). USIXML: a language supporting multi-path development of user interfaces. InIFIPInternational Conferenceon Engineering forHuman-ComputerInteraction(pp. 200\u2013220). Berlin, Heidelberg: Springer.","DOI":"10.1007\/11431879_12"},{"issue":"3","key":"cit0045","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1016\/j.compedu.2010.10.007","volume":"56","author":"Lin L.","year":"2011","journal-title":"Computers & Education"},{"issue":"1","key":"cit0046","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.ijhcs.2013.08.013","volume":"72","author":"Martinie C.","year":"2014","journal-title":"International Journal of Human-Computer Studies"},{"key":"cit0047","first-page":"3267","volume-title":"IEEE international conference on systems, man, and cybernetics","author":"Martinie C.","year":"2011"},{"issue":"2","key":"cit0048","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1037\/0022-0663.90.2.312","volume":"90","author":"Mayer R. E.","year":"1998","journal-title":"Journal of Educational Psychology"},{"issue":"4","key":"cit0049","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"Mernik M.","year":"2005","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"cit0050","unstructured":"Moon, J. & Ryu, J.The effect of visual cueing and narration speed on the comprehension scores with types of task and overall cognitive load. Retrieved from http:\/\/icome2013.iwd.jp\/program\/pdf\/1p_PDF\/B39.pdf"},{"issue":"5","key":"cit0051","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/S0020-7373(87)80020-2","volume":"27","author":"Moray N.","year":"1987","journal-title":"International Journal of Man-machine Studies"},{"issue":"4","key":"cit0052","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1614390.1614393","volume":"16","author":"Navarre D.","year":"2009","journal-title":"ACM Transactions on Computer-Human Interaction (TOCHI)"},{"key":"cit0053","first-page":"347","volume-title":"The handbook of task analysis for human-computer interaction","author":"Omerod T. C.","year":"2004"},{"issue":"3","key":"cit0054","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1177\/0018720813501549","volume":"56","author":"Onnasch L.","year":"2014","journal-title":"Human Factors"},{"issue":"3","key":"cit0055","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/3468.844354","volume":"30","author":"Parasuraman R.","year":"2000","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics- Part A: Systems and Humans"},{"key":"cit0056","first-page":"483","author":"Patern\u00f2 F.","year":"2004","journal-title":"The Handbook of Task Analysis for Human-computer Interaction"},{"key":"cit0057","first-page":"213","volume-title":"Engineering for human-computer interaction. EHCI 1995. IFIP\u00a0","author":"Patern\u00f2 F.","year":"1996"},{"key":"cit0058","unstructured":"Proctor, R. W. & Dutta, A. (1995). Skill acquisition and human performance. Thousand Oaks, CA: Sage Publications, Inc."},{"key":"cit0059","first-page":"1","volume-title":"Proceedings of the 2012 international symposium on pervasive displays","author":"Rashid U.","year":"2012"},{"key":"cit0060","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/3DUI.2017.7893338","volume-title":"3D user interfaces (3DUI), 2017 IEEE symposium on","author":"Renner P.","year":"2017"},{"key":"cit0061","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1002\/0470048204.ch18","volume-title":"Handbook of human factors and ergonomics","author":"Salas E.","year":"2006"},{"issue":"2","key":"cit0062","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1111\/1467-9280.00318","volume":"12","author":"Schumacher E. H","year":"2001","journal-title":"Psychological Science"},{"issue":"5","key":"cit0063","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"Sendall S.","year":"2003","journal-title":"IEEE Software"},{"key":"cit0064","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/332040.332445","volume-title":"Proceedings of the SIGCHI conference on human factors in computing systems","author":"Sibert L. E.","year":"2000"},{"key":"cit0065","first-page":"1039","volume-title":"Handbook of human factors","author":"Swezey R. W.","year":"1987"},{"key":"cit0066","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/2557500.2557528","volume-title":"Proceedings of the 19th international conference on intelligent user interfaces","author":"Toyama T.","year":"2014"},{"volume-title":"Information visualization: Perception for design (2. Aufl.)","year":"2004","author":"Ware C.","key":"cit0067"},{"key":"cit0068","unstructured":"Weyers, B. (2012).Reconfiguration of user interface models for monitoring and control of human-computer systems(Doctoral dissertation, Universit\u00e4t Duisburg-Essen, Fakult\u00e4t f\u00fcr Ingenieurwissenschaften\u00bb Informatik und Angewandte Kognitionswissenschaft\u00bb Informatik\u00bb Computergraphik und Wissenschaftliches Rechnen)."},{"key":"cit0069","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-319-51838-1_5","volume-title":"The handbook of formal methods in human-computer interaction","author":"Weyers B.","year":"2017"},{"key":"cit0070","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-51838-1","volume-title":"The handbook of formal methods in human-computer interaction","author":"Weyers B.","year":"2017"},{"issue":"10","key":"cit0071","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1080\/10447318.2011.654199","volume":"28","author":"Weyers B.","year":"2012","journal-title":"International Journal of Human-Computer Interaction"},{"issue":"2","key":"cit0072","doi-asserted-by":"crossref","first-page":"59","DOI":"10.4018\/IJISCRAM.2015040104","volume":"7","author":"Weyers B.","year":"2015","journal-title":"International Journal of Information Systems for Crisis Response and Management"},{"key":"cit0073","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-319-51838-1_4","volume-title":"The handbook of formal methods in human-computer interaction","author":"Weyers B.","year":"2017"},{"issue":"3","key":"cit0074","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1518\/001872008X288394","volume":"50","author":"Wickens C. D.","year":"2008","journal-title":"Human Factors: the Journal of the Human Factors and Ergonomics Society"},{"volume-title":"Engineering psychology and human performance","year":"2000","author":"Wickens C. D.","key":"cit0075"},{"volume-title":"Applied attention theory","year":"2008","author":"Wickens C. D.","key":"cit0076"},{"issue":"3","key":"cit0077","doi-asserted-by":"crossref","first-page":"645","DOI":"10.3102\/0034654308320320","volume":"78","author":"Wouters P","year":"2008","journal-title":"Review of Educational Research"},{"issue":"1","key":"cit0078","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/00140139.2014.956151","volume":"58","author":"Young M. S.","year":"2015","journal-title":"Ergonomics"},{"key":"cit0079","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/302979.303053","volume-title":"Proceedings of the SIGCHI conference on human factors in computing systems","author":"Zhai S.","year":"1999"}],"container-title":["International Journal of Human\u2013Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10447318.2019.1687234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T22:25:21Z","timestamp":1695507921000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10447318.2019.1687234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,11]]},"references-count":79,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2020,5,8]]}},"alternative-id":["10.1080\/10447318.2019.1687234"],"URL":"https:\/\/doi.org\/10.1080\/10447318.2019.1687234","relation":{},"ISSN":["1044-7318","1532-7590"],"issn-type":[{"type":"print","value":"1044-7318"},{"type":"electronic","value":"1532-7590"}],"subject":[],"published":{"date-parts":[[2019,12,11]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=hihc20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=hihc20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2019-12-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}