{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T05:25:55Z","timestamp":1740979555416,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":65,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145612"},{"type":"electronic","value":"9783642145629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-14562-9_8","type":"book-chapter","created":{"date-parts":[[2011,1,28]],"date-time":"2011-01-28T16:42:15Z","timestamp":1296232935000},"page":"143-169","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Accot, J., Zhai, S.: Beyond Fitts\u2019 law: models for trajectory-based HCI tasks. In: Proc. of ACM CHI 1997, pp. 295\u2013302 (1997)","DOI":"10.1145\/258549.258760"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1207\/s15516709cog2601_2","volume":"26","author":"E.M. Altmann","year":"2002","unstructured":"Altmann, E.M., Trafton, J.G.: Memory for goals: An activation-based model. Cognitive Science\u00a026(1), 39\u201383 (2002)","journal-title":"Cognitive Science"},{"issue":"6","key":"8_CR3","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.3758\/BF03193094","volume":"14","author":"E.M. Altmann","year":"2007","unstructured":"Altmann, E.M., Trafton, J.G.: Timecourse of Recovery from Task Interruption: Data and a Model. Psychonomics Bulletin and Review\u00a014(6), 1079\u20131084 (2007)","journal-title":"Psychonomics Bulletin and Review"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bailey, B.P., Konstan, J.A., Carlis, J.V.: Measuring the effects of interruptions on task performance in the user interface. In: IEEE International Conference on Systems, Man, and Cybernetics 2000, vol.\u00a02, pp. 757\u2013762 (2000)","DOI":"10.1109\/ICSMC.2000.885940"},{"key":"8_CR5","first-page":"593","volume-title":"Proceedings of INTERACT 2001","author":"B.P. Bailey","year":"2001","unstructured":"Bailey, B.P., Konstan, J.A., Carlis, J.V.: The effects of interruptions on task performance, annoyance, and anxiety in the user interface. In: Proceedings of INTERACT 2001, pp. 593\u2013601. IOS Press, Amsterdam (2001)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/1822018.1822043","volume-title":"Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive Computing Systems. EICS 2010","author":"E. Barboni","year":"2010","unstructured":"Barboni, E., Ladry, J., Navarre, D., Palanque, P., Winckler, M.: Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive Computing Systems. EICS 2010, pp. 165\u2013174. ACM, New York (2010)"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/02699939108411021","volume":"5","author":"P.J. Barnard","year":"1991","unstructured":"Barnard, P.J., Teasdale, J.D.: Interacting cognitive subsystems: A systemic approach to cognitive-affective interaction and change. Cognition and Emotion\u00a05, 1\u201339 (1991)","journal-title":"Cognition and Emotion"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1145\/1027933.1027974","volume-title":"ICMI 2004 - Sixth International Conference on Multimodal Interfaces","author":"R. Bastide","year":"2004","unstructured":"Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: ICMI 2004 - Sixth International Conference on Multimodal Interfaces, pp. 243\u2013250. ACM Press, New York (2004)"},{"key":"8_CR9","volume-title":"DSV-IS 1998","author":"R. Bastide","year":"1998","unstructured":"Bastide, R., Palanque, P., Le, D., Munoz, J.: Integrating rendering specifications into a formalism for the design of interactive systems. In: DSV-IS 1998. Springer, Heidelberg (1998)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Bastide, R., Navarre, D., Palanque, P.: A model-based tool for interactive prototyping of highly interactive applications. In: CHI 2002 Extended Abstracts on Human Factors in Computing Systems, pp. 516\u2013517 (2002)","DOI":"10.1145\/506443.506457"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","first-page":"456","volume-title":"Human-Computer Interaction \u2013 INTERACT 2009","author":"M. Beek ter","year":"2009","unstructured":"ter Beek, M., Faconti, G., Massink, M., Palanque, P., Winckler, M.: Resilience of interaction techniques to interrupts - A formal model-based approach. In: Gross, T., Gulliksen, J., Kotz\u00e9, P., Oestreicher, L., Palanque, P., Prates, R.O., Winckler, M. (eds.) INTERACT 2009. LNCS, vol.\u00a05726, pp. 456\u2013472. Springer, Heidelberg (2009)"},{"key":"8_CR12","first-page":"758","volume-title":"ACM SIGCHI Conf. on Human Factors in Computing Systems, CHI 2002","author":"F. Bourgeois","year":"2002","unstructured":"Bourgeois, F., Guiard, Y., Beaudouin-Lafon, M.: Multi-scale pointing: Facilitating pan-zoom coordination. In: ACM SIGCHI Conf. on Human Factors in Computing Systems, CHI 2002, pp. 758\u2013759. ACM Press, New York (2002)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Brixey, J.J., Walji, M., Zhang, J., Johnson, T.R., Turley, J.P.: Proc. 6th International Workshop on Enterprise Networking and Computing in Healthcare Industry. Proposing a Taxonomy and Model of Interruption, pp. 184\u2013188 (2004)","DOI":"10.1109\/HEALTH.2004.1324514"},{"key":"8_CR14","unstructured":"Brudzinski, M.E., Ratwani, R.M., Trafton, J.G.: Goal and spatial memory following interruption. Paper presented at the 8th International Conference on Cognitive Modeling, Ann Arbor, MI (2007)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Cades, D.M., Trafton, J.G., Boehm-Davis, D.A., Monk, C.A.: Does the difficulty of an interruption affect our ability to resume? In: Proc. of the Human Factors and Ergonomics Society 51th Annual Meeting, Santa Monica, pp. 234\u2013238 (2007)","DOI":"10.1177\/154193120705100419"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-85992-5_2","volume-title":"Engineering Interactive Systems","author":"S. Caffiau","year":"2008","unstructured":"Caffiau, S., Girard, P., Scapin, D., Guittet, L., Sanou, L.: Assessment of object use for task modeling. In: Forbrig, P., Patern\u00f2, F. (eds.) HCSE\/TAMODIA 2008. LNCS, vol.\u00a05247, pp. 14\u201328. Springer, Heidelberg (2008)"},{"key":"8_CR17","volume-title":"written at London, The Psychology of Human-Computer Interaction","author":"S.K. Card","year":"1983","unstructured":"Card, S.K., Thomas, T.P., Newell, A.: written at London, The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, Mahwah (1983); ISBN 0898592437"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1109\/ICSE.2004.1317483","volume-title":"Proceedings of the 26th International Conference on Software Engineering","author":"H. Cervantes","year":"2004","unstructured":"Cervantes, H., Hall, R.S.: Autonomous Adaptation to Dynamic Availability Using a Service-Oriented Component Model. In: Proceedings of the 26th International Conference on Software Engineering, May 23 - 28, pp. 614\u2013623. IEEE Computer Society, Washington (2004)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1111\/j.1553-2712.2000.tb00469.x","volume":"7","author":"C.D. Chisholm","year":"2000","unstructured":"Chisholm, C.D., Collison, E.K., Nelson, D.R., Cordell, W.H.: Emergency department workplace interruptions: Are emergency physicians \u201cinterrupt-driven\u201d and \u201cmultitasking\u201d? Academic Emergency Medicine\u00a07, 1239\u20131243 (2000)","journal-title":"Academic Emergency Medicine"},{"key":"8_CR20","unstructured":"Czerwinski, M., Cutrell, E., Horvitz, E.: Instant Messaging and Interruption: Influence of Task Type on Performance. In: Paris, C., Ozkan, N., Howard, S., Lu, S. (eds.) OZCHI 2000 Conference Proceedings, Sydney, Australia, December 4-8, pp. 356\u2013361 (2000)"},{"key":"8_CR21","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/985692.985715","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems CHI 2004","author":"M. Czerwinski","year":"2004","unstructured":"Czerwinski, M., Horvitz, E., Wilhite, S.: A diary study of task switching and interruptions. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems CHI 2004, Vienna, Austria, April 24-29, pp. 175\u2013182. ACM, New York (2004)"},{"key":"8_CR22","first-page":"650","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","year":"2004","unstructured":"Diaper, D., Stanton, N.A. (eds.): The Handbook of Task Analysis for Human-Computer Interaction, 650 p. Lawrence Erlbaum Associates, Mahwah (2004)"},{"key":"8_CR23","first-page":"250","volume-title":"Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society","author":"M. Diez","year":"2002","unstructured":"Diez, M., Boehm-Davis, D.A., Holt, R.W.: Model-based predictions of interrupted checklists. In: Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society, pp. 250\u2013254. Human Factors and Ergonomics Society, Santa Monica (2002)"},{"key":"8_CR24","volume-title":"The Handbook of Task Analysis for Human Computer Interaction","author":"A. Dix","year":"2004","unstructured":"Dix, A., Ramduny-Ellis, D., Wilkinson, J.T.: Analysis: understanding broken tasks. In: Diaper, D., Stanton, N. (eds.) The Handbook of Task Analysis for Human Computer Interaction, Lawrence Erlbaum Associates, Mahwah (2004)"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1037\/h0055392","volume":"47","author":"P.M. Fitts","year":"1954","unstructured":"Fitts, P.M.: The Information Capacity of the Human Motor System in Controlling the Amplitude of Movement. Journal of Experimental Psychology\u00a047, 381\u2013391 (1954)","journal-title":"Journal of Experimental Psychology"},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00309260","volume":"50","author":"T. Gillie","year":"1989","unstructured":"Gillie, T., Broadbent, D.: What makes interruptions disruptive? A study of length, similarity and complexity. Psychological Research\u00a050(4), 243\u2013250 (1989)","journal-title":"Psychological Research"},{"key":"8_CR27","volume-title":"Developing User Interfaces: ensuring usability through product and process","author":"D. Hix","year":"1993","unstructured":"Hix, D., Rex Harston, H.: Developing User Interfaces: ensuring usability through product and process. Wiley, Chichester (1993); 978-0-471-57813-0"},{"key":"8_CR28","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/958432.958440","volume-title":"Proceedings of the 5th International Conference on Multimodal Interfaces, ICMI 2003","author":"E. Horvitz","year":"2003","unstructured":"Horvitz, E., Apacible, J.: Learning and reasoning about interruption. In: Proceedings of the 5th International Conference on Multimodal Interfaces, ICMI 2003, November 5-7, pp. 20\u201327. ACM, New York (2003)"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/257089.257128","volume-title":"Human Factors in Computing Systems: Proceedings of CHI 1996, Conference Companion","author":"F. Jambon","year":"1996","unstructured":"Jambon, F.: Formal modelling of task interruptions. In: Human Factors in Computing Systems: Proceedings of CHI 1996, Conference Companion, pp. 45\u201346. ACM Press, New York (1996)"},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/1357054.1357070","volume-title":"Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008","author":"S.T. Iqbal","year":"2008","unstructured":"Iqbal, S.T., Bailey, B.P.: Effects of intelligent notification management on users and their tasks. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, April 5-10, pp. 93\u2013102. ACM Press, New York (2008), http:\/\/doi.acm.org\/10.1145\/1357054.1357070"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1145\/1357054.1357159","volume-title":"Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008","author":"A. Kapoor","year":"2008","unstructured":"Kapoor, A., Horvitz, E.: Experience sampling for building predictive user models: a comparative study. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, pp. 657\u2013666. ACM Press, New York (2008), http:\/\/doi.acm.org\/10.1145\/1357054.1357159"},{"issue":"3","key":"8_CR32","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/636772.636800","volume":"46","author":"D.S. McCrickard","year":"2003","unstructured":"McCrickard, D.S., Chewar, C.M.: Attuning notification design to user goals and attention costs. Communications of ACM\u00a046(3), 67\u201372 (2003)","journal-title":"Communications of ACM"},{"issue":"5","key":"8_CR33","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1002\/acp.1002","volume":"18","author":"M.A. McDaniel","year":"2004","unstructured":"McDaniel, M.A., Einstein, G.O., Graham, T., Rall, E.: Delaying execution of intentions: overcoming the costs of interruptions. Applied Cognitive Psychology\u00a018(5), 533\u2013547 (2004)","journal-title":"Applied Cognitive Psychology"},{"key":"8_CR34","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1207\/S15327051HCI1701_2","volume":"17","author":"D.C. McFarlane","year":"2002","unstructured":"McFarlane, D.C.: Comparison of four primary methods for coordinating the interruption of people in human-computer interaction. Human-Computer Interaction\u00a017, 63\u2013139 (2002)","journal-title":"Human-Computer Interaction"},{"key":"8_CR35","first-page":"295","volume-title":"Proceedings of Human-Computer Interaction, INTERACT 1999","author":"D.C. McFarlane","year":"1999","unstructured":"McFarlane, D.C.: Coordinating the interruption of people in human-computer interaction. In: Sasse, A., Johnson, C. (eds.) Proceedings of Human-Computer Interaction, INTERACT 1999, pp. 295\u2013303. IOS Press, Amsterdam (1999)"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"McFarlane, D.C.: Interruption of People in Human-Computer Interaction: A General Unifying Definition of Human Interruption and Taxonomy (NRL Formal Report NRL\/FR\/5510-97-9870), US Naval Research Laboratory, Washington (1997)","DOI":"10.21236\/ADA333587"},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1357054.1357072","volume-title":"Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008","author":"G. Mark","year":"2008","unstructured":"Mark, G., Gudith, D., Klocke, U.: The cost of interrupted work: more speed and stress. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 05-10, pp. 107\u2013110. ACM, New York (2008), doi= http:\/\/doi.acm.org\/10.1145\/1357054.1357072"},{"key":"8_CR38","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1518\/hfes.46.4.650.56816","volume":"46","author":"C. Monk","year":"2004","unstructured":"Monk, C., Boehm-Davis, D., Trafton, J.G.: Recovering from interruptions: Implications for driver distraction research. Human Factors\u00a046, 650\u2013663 (2004)","journal-title":"Human Factors"},{"key":"8_CR39","doi-asserted-by":"publisher","first-page":"1817","DOI":"10.1145\/1357054.1357337","volume-title":"Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems. CHI 2008","author":"D. Morris","year":"2008","unstructured":"Morris, D., Brush, A.B., Meyers, B.R.: SuperBreak: using interactivity to enhance ergonomic typing breaks. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems. CHI 2008, pp. 1817\u20131826. ACM, New York (2008)"},{"key":"8_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-77222-4_12","volume-title":"Task Models and Diagrams for User Interface Design","author":"D. Navarre","year":"2007","unstructured":"Navarre, D., Palanque, P., Barboni, E., Mistrzyk, T.: On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. In: Winckler, M., Johnson, H. (eds.) TAMODIA 2007. LNCS, vol.\u00a04849, pp. 140\u2013154. Springer, Heidelberg (2007)"},{"key":"8_CR41","unstructured":"National Transportation Safety Board (1968). Aircraft accident report: Pan American World Airways, Inc., Boeing 707-321C, N799PA, Elmendorf Air Force Base, Anchorage, Alaska, December 26 (NTSB\/AAR-69\/08). Washington, DC (1969)"},{"key":"8_CR42","unstructured":"National Transportation Safety Board (1987). Aircraft accident report: Northwest Airlines, Inc.,McDonnell Douglas DC-9-82, N312RC, Detroit Metropolitan Wayne County Airport, Romulus,Michigan, August 16 (NTSB\/AAR-88\/05).Washington, DC (1988)"},{"key":"8_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-45522-1_6","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Patern\u00f3, F., Santoro, C.: A tool suite for integrating task and system models through scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, p. 88. Springer, Heidelberg (2001)"},{"key":"8_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-87698-4_31","volume-title":"Computer Safety, Reliability, and Security","author":"D. Navarre","year":"2008","unstructured":"Navarre, D., Palanque, P., Basnyat, S.: Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol.\u00a05219, pp. 373\u2013386. Springer, Heidelberg (2008)"},{"issue":"4","key":"8_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D. Navarre","year":"2009","unstructured":"Navarre, D., Palanque, P., Ladry, J., Barboni, E.: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM TOCHI\u00a016(4), 1\u201356 (2009)","journal-title":"ACM TOCHI"},{"key":"8_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-44675-3_7","volume-title":"7th Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Sy, O.: Structuring Interactive Systems Specifications for Executability and Prototypability. In: Patern\u00f3, F. (ed.) DSV-IS 2000. LNCS, vol.\u00a01946, p. 97. Springer, Heidelberg (2001)"},{"key":"8_CR47","volume-title":"HCI-Aero 2002","author":"D. Navarre","year":"2002","unstructured":"Navarre, D., Palanque, P., Bastide, R.: Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. In: HCI-Aero 2002. MIT, USA (2002)"},{"key":"8_CR48","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/223355.223665","volume-title":"Human Factors in Computing Systems, CHI 1995","author":"B. O\u2019Conaill","year":"1995","unstructured":"O\u2019Conaill, B., Frohlich, D.: Timespace in the workplace: Dealing with interruptions. In: Human Factors in Computing Systems, CHI 1995, pp. 262\u2013263. ACM Press, New York (1995)"},{"issue":"10","key":"8_CR49","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1016\/j.ijhcs.2006.04.006","volume":"64","author":"A. Oulasvirta","year":"2006","unstructured":"Oulasvirta, A., Saariluoma, P.: Surviving task interruptions: Investigating the implications of long-term working memory theory. Int. J. Hum.-Comput. Stud.\u00a064(10), 941\u2013961 (2006)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"8_CR50","volume-title":"Proc. of EHCI 1995, Garn Targhee Resort, Wyoming, USA","author":"P. Palanque","year":"1995","unstructured":"Palanque, P., Bastide, R., Seng\u00e8s, V.: Validating Interactive System Design Through the Verification of Formal Task and System Models. In: Proc. of EHCI 1995, Garn Targhee Resort, Wyoming, USA, August 14-18. Chapman et Hall, Boca Raton (1995)"},{"key":"8_CR51","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy, June 18-22 (2006)","DOI":"10.2514\/6.2006-5657"},{"key":"8_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-642-11750-3","volume-title":"Parallel Problem Solving from Nature, PPSN XI","author":"P. Palanque","year":"2010","unstructured":"Palanque, P., Ladry, J.-F., Navarre, D., Barboni, E.: High-Fidelity Prototyping of Interactive Systems can be Formal too. In: Schaefer, R., Cotta, C., Ko\u0142odziej, J., Rudolph, G. (eds.) PPSN XI. LNCS, vol.\u00a06239, pp. 145\u2013156. Springer, Heidelberg (2010)"},{"key":"8_CR53","first-page":"362","volume-title":"Proc. of Interact 1997","author":"F. Paterno","year":"1997","unstructured":"Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proc. of Interact 1997, pp. 362\u2013369. Chapman & Hall, Boca Raton (1997)"},{"key":"8_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-44675-3_13","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"P. Pinheiro da Silva","year":"2001","unstructured":"Pinheiro da Silva, P.: User Interface declarative models and Development environments: A survey. In: Patern\u00f3, F. (ed.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 207\u2013226. Springer, Heidelberg (2001)"},{"key":"8_CR55","doi-asserted-by":"crossref","unstructured":"Ratwani, R.M., McCurry, J.M., Trafton, J.G.: Predicting post completion errors using eye movements. In: Computer Human Interaction, CHI 2008 (2008)","DOI":"10.1145\/1357054.1357141"},{"key":"8_CR56","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1518\/155723408X299852","volume":"3","author":"J.G. Trafton","year":"2007","unstructured":"Trafton, J.G., Monk, C.A.: Task Interruptions. Reviews of Human Factors and Ergonomics\u00a03, 111\u2013126 (2007)","journal-title":"Reviews of Human Factors and Ergonomics"},{"issue":"5","key":"8_CR57","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/S1071-5819(03)00023-5","volume":"58","author":"J.G. Trafton","year":"2003","unstructured":"Trafton, J.G., Altmann, E.M., Brock, D.P., Mintz, F.E.: Preparing to resume an interrupted task: Effects of prospective goal encoding and retrospective rehearsal. International Journal of Human-Computer Studies\u00a058(5), 583\u2013603 (2003)","journal-title":"International Journal of Human-Computer Studies"},{"key":"8_CR58","unstructured":"Tsukada, K., Okada, K., Matsushita, Y.A.: Cooperative Support System Based on Multiplicity of Task. IFIP Congress (2), 69\u201374 (1994)"},{"key":"8_CR59","first-page":"1282","volume":"107","author":"J.A. Rukab","year":"2005","unstructured":"Rukab, J.A., Johnson-Throop, K.A., Malin, J., Zhang, J.: A Framework of Interruptions in Distributed Team Environments. Journal on Studies in Health Technology and Informatics, Part 2\u00a0107, 1282\u20131286 (2005)","journal-title":"Journal on Studies in Health Technology and Informatics, Part 2"},{"key":"8_CR60","volume-title":"Operating Systems Concepts","author":"A. Silberschatz","year":"2008","unstructured":"Silberschatz, A., Galvin, P., Gagne, G.: Operating Systems Concepts. John Wiley & Sons, Chichester (2008); ISBN 0-470-12872-0"},{"issue":"4","key":"8_CR61","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1111\/j.1540-5414.2003.02292.x","volume":"34","author":"C. Speier","year":"2003","unstructured":"Speier, C., Vessey, I., Valacich, J.S.: The effects of interruptions, task complexity, and information presentation on computer-supported decision-making performance. Decision Sciences\u00a034(4), 771\u2013797 (2003)","journal-title":"Decision Sciences"},{"key":"8_CR62","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/1357054.1357069","volume-title":"Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008","author":"N.M. Su","year":"2008","unstructured":"Su, N.M., Mark, G.: Communication chains and multitasking. In: Proceeding of the Twenty-Sixth Annual SIGCHI Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, pp. 83\u201392. ACM, New York (2008)"},{"key":"8_CR63","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1111\/j.1475-6773.2006.00502.x","volume":"41","author":"A.L. Tucker","year":"2006","unstructured":"Tucker, A.L., Spear, S.J.: Operational failures and interruptions in hospital nursing. Health Services Research\u00a041, 643\u2013662 (2006)","journal-title":"Health Services Research"},{"key":"8_CR64","unstructured":"Walji, M., Brixey, J., Johnson-Throop, K., Zhang, J.: A theoretical framework to understand and engineer persuasive interruptions. In: Proceedings of 26th Annual Meeting of the Cognitive Science Society, CogSci 2004 (2004)"},{"issue":"2","key":"8_CR65","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1518\/155534307X232848","volume":"1","author":"R.L. West","year":"2007","unstructured":"West, R.L., Nagy, G.: Using GOMS for Modeling Routine Tasks Within Complex Sociotechnical Systems: Connecting Macrocognitive Models to Microcognition. Journal of Cognitive Engineering and Decision Making\u00a01(2), 186\u2013211(26) (Summer 2007)","journal-title":"Journal of Cognitive Engineering and Decision Making"}],"container-title":["Studies in Computational Intelligence","Model-Driven Development of Advanced User Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14562-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T06:48:37Z","timestamp":1740898117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14562-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642145612","9783642145629"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14562-9_8","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2011]]}}}