{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T23:07:14Z","timestamp":1756076834045},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642036545"},{"type":"electronic","value":"9783642036552"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03655-2_56","type":"book-chapter","created":{"date-parts":[[2009,8,17]],"date-time":"2009-08-17T11:55:07Z","timestamp":1250510107000},"page":"494-509","source":"Crossref","is-referenced-by-count":11,"title":["Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach"],"prefix":"10.1007","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio P.","family":"Faconti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe A.","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","first-page":"757","volume-title":"Proceedings SMC 2000","author":"B.P. Bailey","year":"2000","unstructured":"Bailey, B.P., Konstan, J.A., Carlis, J.V.: Measuring the effects of interruptions on task performance in the user interface. In: Proceedings SMC 2000, pp. 757\u2013762. IEEE, Los Alamitos (2000)"},{"key":"56_CR2","first-page":"197","volume-title":"Progress in the Psychology of Language","author":"P.J. Barnard","year":"1985","unstructured":"Barnard, P.J.: Interacting Cognitive Subsystems: A Psycholinguistic Approach to Short-term Memory. In: Ellis, A. (ed.) Progress in the Psychology of Language, ch.\u00a06, vol. 2, pp. 197\u2013258. Lawrence Erlbaum, Mahwah (1985)"},{"key":"56_CR3","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Faconti, G.P., Massink, M., Palanque, P.A., Winckler, M.: Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach\u2014FULL VERSION. Technical Report, 2009-TR-001, ISTI\u2013CNR (2009)","DOI":"10.1007\/978-3-642-03655-2_56"},{"key":"56_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Formal Methods and Performance Analysis","year":"2001","unstructured":"Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.): EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090. Springer, Heidelberg (2001)"},{"key":"56_CR5","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: Proceedings HFES 2007, Human Factors and Ergonomics Society, pp. 234\u2013238 (2007)","DOI":"10.1177\/154193120705100419"},{"issue":"4","key":"56_CR6","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","volume":"13","author":"D.J. Duke","year":"1998","unstructured":"Duke, D.J., Barnard, P.J., Duce, D.A., May, J.: Syndetic modelling. International Journal of Human Computer Interaction\u00a013(4), 337\u2013393 (1998)","journal-title":"International Journal of Human Computer Interaction"},{"key":"56_CR7","first-page":"73","volume-title":"Proceedings DSV-IS 1996","author":"G.P. Faconti","year":"1996","unstructured":"Faconti, G.P., Duke, D.J.: Device models. In: Proceedings DSV-IS 1996, pp. 73\u201391. Springer, Heidelberg (1996)"},{"key":"56_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-69554-7_15","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"G. Faconti","year":"2007","unstructured":"Faconti, G., Massink, M.: Analysis of pointing tasks on a white board. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol.\u00a04323, pp. 185\u2013198. Springer, Heidelberg (2007)"},{"key":"56_CR9","doi-asserted-by":"crossref","unstructured":"Gordon, I.E.: Theories of Visual Percept. Psychology Press (2004)","DOI":"10.4324\/9780203502259"},{"key":"56_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"56_CR11","unstructured":"Hollnagel, E., Woods, D.D., Leveson, N. (eds.): Resilience Engineering: Concepts and Precepts. Ashgate (2006)"},{"key":"56_CR12","first-page":"45","volume-title":"Proceedings CHI 1996","author":"F. Jambon","year":"1996","unstructured":"Jambon, F.: Formal modelling of task interruptions. In: Proceedings CHI 1996, pp. 45\u201346. ACM, New York (1996)"},{"key":"56_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 52\u201366. Springer, Heidelberg (2002)"},{"issue":"1","key":"56_CR14","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1207\/s15327051hci0701_3","volume":"7","author":"I.S. MacKenzie","year":"1992","unstructured":"MacKenzie, I.S.: Fitts\u2019 law as a research and design tool in human-computer interaction. International Journal of Human Computer Interaction\u00a07(1), 91\u2013139 (1992)","journal-title":"International Journal of Human Computer Interaction"},{"issue":"3","key":"56_CR15","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 the ACM\u00a046(3), 67\u201372 (2003)","journal-title":"Communications of the ACM"},{"issue":"5","key":"56_CR16","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":"56_CR17","first-page":"262","volume-title":"Proceedings CHI 1995","author":"B. O\u2019Conaill","year":"1995","unstructured":"O\u2019Conaill, B., Frohlich, D.: Timespace in the workplace: Dealing with interruptions. In: Proceedings CHI 1995, pp. 262\u2013263. ACM, New York (1995)"},{"key":"56_CR18","first-page":"383","volume-title":"Proceedings DSV-IS 1994","author":"P.A. Palanque","year":"1994","unstructured":"Palanque, P.A., Bastide, R.: Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. In: Proceedings DSV-IS 1994, pp. 383\u2013400. Springer, Heidelberg (1994)"},{"key":"56_CR19","doi-asserted-by":"crossref","unstructured":"Palanque, P.A., 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: Proceedings SpaceOps 2006, American Institute of Aeronautics and Astronautics (2006)","DOI":"10.2514\/6.2006-5657"},{"key":"56_CR20","first-page":"362","volume-title":"Proceedings INTERACT 1997","author":"F. Patern\u00f2","year":"1997","unstructured":"Patern\u00f2, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proceedings INTERACT 1997, pp. 362\u2013369. Chapman & Hall, Boca Raton (1997)"},{"key":"56_CR21","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: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 207\u2013226. Springer, Heidelberg (2001)"},{"key":"56_CR22","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":"2","key":"56_CR23","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 (2007)","journal-title":"Journal of Cognitive Engineering and Decision Making"},{"key":"56_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02409755","volume":"9","author":"B. Zeigarnik","year":"1927","unstructured":"Zeigarnik, B.: Das behalten erledigter und unerledigter handlungen. Psychologische Forschung\u00a09, 1\u201385 (1927)","journal-title":"Psychologische Forschung"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction \u2013 INTERACT 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03655-2_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:38:56Z","timestamp":1558489136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03655-2_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642036545","9783642036552"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03655-2_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}