{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:12:29Z","timestamp":1742919149558,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030549930"},{"type":"electronic","value":"9783030549947"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-54994-7_8","type":"book-chapter","created":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:03:45Z","timestamp":1597262625000},"page":"99-113","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Validation of a Simulation Algorithm for Safety-Critical Human Multitasking"],"prefix":"10.1007","author":[{"given":"Giovanna","family":"Broccia","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Belviso","sequence":"additional","affiliation":[]},{"given":"Carmen Berrocal","family":"Montiel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,13]]},"reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1207\/s15327051hci1204_5","volume":"12","author":"JR Anderson","year":"1997","unstructured":"Anderson, J.R., Matessa, M., Lebiere, C.: ACT-R: a theory of higher level cognition and its relation to visual attention. Hum. Comput. Interact. 12(4), 439\u2013462 (1997)","journal-title":"Hum. Comput. Interact."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1093\/acprof:oso\/9780198570394.003.0004","volume":"455","author":"P Barrouillet","year":"2007","unstructured":"Barrouillet, P., Camos, V.: The time-based resource-sharing model of working memory. Cogn. Neurosci. Work. Mem. 455, 59\u201380 (2007)","journal-title":"Cogn. Neurosci. Work. Mem."},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-319-74781-1_4","volume-title":"Software Engineering and Formal Methods","author":"G Broccia","year":"2018","unstructured":"Broccia, G., Milazzo, P., \u00d6lveczky, P.C.: An algorithm for simulating human selective attention. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 48\u201355. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74781-1_4"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-77935-5_4","volume-title":"NASA Formal Methods","author":"G Broccia","year":"2018","unstructured":"Broccia, G., Milazzo, P., \u00d6lveczky, P.C.: An executable formal framework for safety-critical human multitasking. In: Dutle, A., Mu\u00f1oz, C., Narkawicz, A. (eds.) NFM 2018. LNCS, vol. 10811, pp. 54\u201369. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-77935-5_4"},{"key":"8_CR5","unstructured":"Broccia, G.: A formal framework for modelling and analysing safety-critical human multitasking. Ph.D. Thesis. University of Pisa, Department of Computer Science (2019)"},{"key":"8_CR6","unstructured":"Broccia, G., Milazzo, P., \u00d6lveczky, P. C. Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng., 1\u201322 (2019)"},{"key":"8_CR7","unstructured":"Dangerous distraction: Safety Investigation Report B2004\/0324. Australian Transport Safety Bureau (2005). \nhttps:\/\/www.atsb.gov.au\/media\/36244\/distraction_report.pdf"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1016\/0022-0965(82)90054-6","volume":"33","author":"R Case","year":"1982","unstructured":"Case, R., Kurland, D.M., Goldberg, J.: Operational efficiency and the growth of short-term memory span. J. Exp. Child Psychol. 33(3), 386\u2013404 (1982)","journal-title":"J. Exp. Child Psychol."},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-319-41591-8_20","volume-title":"Software Engineering and Formal Methods","author":"A Cerone","year":"2016","unstructured":"Cerone, A.: A cognitive framework based on rewriting logic for the analysis of interactive systems. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 287\u2013303. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-41591-8_20"},{"key":"8_CR10","unstructured":"Clark, T., David, Y.: Impact of clinical alarms on patient safety. American College of Clinical Engineering Healthcare Technology Foundation Web site (2009)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0160-2896(01)00096-4","volume":"30","author":"ARA Conway","year":"2002","unstructured":"Conway, A.R.A., Cowan, N., Bunting, M.F., Therriault, D.J., Minkoff, S.R.B.: A latent variable analysis of working memory capacity, short-term memory capacity, processing speed, and general fluid intelligence. Intelligence 30(2), 163\u2013183 (2002)","journal-title":"Intelligence"},{"issue":"12","key":"8_CR12","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1016\/j.tics.2003.10.005","volume":"7","author":"ARA Conway","year":"2003","unstructured":"Conway, A.R.A., Kane, M.J., Engle, R.W.: Working memory capacity and its relation to general intelligence. Trends Cogn. Sci. 7(12), 547\u2013552 (2003)","journal-title":"Trends Cogn. Sci."},{"issue":"5","key":"8_CR13","doi-asserted-by":"publisher","first-page":"769","DOI":"10.3758\/BF03196772","volume":"12","author":"ARA Conway","year":"2005","unstructured":"Conway, A.R.A., Kane, M.J., Bunting, M.F., Hambrick, D.Z., Wilhelm, O., Engle, R.W.: Working memory span tasks: a methodological review and user\u2019s guide. Psychon. Bull. Rev. 12(5), 769\u2013786 (2005). \nhttps:\/\/doi.org\/10.3758\/BF03196772","journal-title":"Psychon. Bull. Rev."},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1016\/S0022-5371(80)90312-6","volume":"19","author":"M Daneman","year":"1980","unstructured":"Daneman, M., Carpenter, P.A.: Individual differences in working memory and reading. J. Verbal Learn. Verbal Behav. 19(4), 450\u2013466 (1980)","journal-title":"J. Verbal Learn. Verbal Behav."},{"issue":"5509","key":"8_CR15","doi-asserted-by":"publisher","first-page":"1803","DOI":"10.1126\/science.1056496","volume":"291","author":"JW de Fockert","year":"2001","unstructured":"de Fockert, J.W., Rees, G., Frith, C.D., Lavie, N.: The role of working memory in visual selective attention. Science 291(5509), 1803\u20131806 (2001)","journal-title":"Science"},{"issue":"10","key":"8_CR16","doi-asserted-by":"publisher","first-page":"2636","DOI":"10.1073\/pnas.1513271113","volume":"113","author":"TA Dingus","year":"2016","unstructured":"Dingus, T.A., Guo, F., Lee, S., Antin, J.F., Perez, M., Buchanan-King, M., Hankey, J.: Driver crash risk factors and prevalence evaluation using naturalistic driving data. Proc. Natl. Acad. Sci. 113(10), 2636\u20132641 (2016)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1037\/0096-3445.128.3.309","volume":"128","author":"RW Engle","year":"1999","unstructured":"Engle, R.W., Tuholski, S.W., Laughlin, J.E., Conway, A.R.A.: Working memory, short-term memory, and general fluid intelligence: a latent-variable approach. J. Exp. Psychol. Gen. 128(3), 309 (1999)","journal-title":"J. Exp. Psychol. Gen."},{"issue":"1","key":"8_CR18","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1111\/1467-8721.00160","volume":"11","author":"RW Engle","year":"2002","unstructured":"Engle, R.W.: Working memory capacity as executive attention. Curr. Dir. Psychol. Sci. 11(1), 19\u201323 (2002)","journal-title":"Curr. Dir. Psychol. Sci."},{"issue":"5","key":"8_CR19","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1109\/THMS.2014.2331034","volume":"44","author":"G Gelman","year":"2014","unstructured":"Gelman, G., Feigh, K.M., Rushby, J.M.: Example of a complementary use of model checking and human performance simulation. IEEE Trans. Hum. Mach. Syst. 44(5), 576\u2013590 (2014)","journal-title":"IEEE Trans. Hum. Mach. Syst."},{"key":"8_CR20","unstructured":"Hamilton, J.: Think you\u2019re multitasking? Think again. Morning Edition (2008). \nhttps:\/\/www.npr.org\/templates\/story\/story.php?storyId=95256794&t=1566830957675"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Houser, A., Ma, L.M., Feigh, K., Bolton, M.L.: A formal approach to modeling and analyzing human taskload in simulated air traffic scenarios. In: Complex Systems Engineering (ICCSE), pp. 1\u20136. IEEE (2015)","DOI":"10.1109\/ComplexSys.2015.7385975"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1037\/0096-3445.133.3.339","volume":"133","author":"N Lavie","year":"2004","unstructured":"Lavie, N., Hirst, A., De Fockert, J.W., Viding, E.: Load theory of selective attention and cognitive control. J. Exp. Psychol. Gen. 133(3), 339 (2004)","journal-title":"J. Exp. Psychol. Gen."},{"issue":"1","key":"8_CR23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1037\/xhp0000277","volume":"43","author":"V Mittelst\u00e4dt","year":"2017","unstructured":"Mittelst\u00e4dt, V., Miller, J.: Separating limits on preparation versus online processing in multitasking paradigms: evidence for resource models. J. Exp. Psychol. Hum. Percept. Perform. 43(1), 89 (2017)","journal-title":"J. Exp. Psychol. Hum. Percept. Perform."},{"issue":"2","key":"8_CR24","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1037\/0033-2909.116.2.220","volume":"116","author":"H Pashler","year":"1994","unstructured":"Pashler, H.: Dual-task interference in simple tasks: data and theory. Psychol. Bull. 116(2), 220 (1994)","journal-title":"Psychol. Bull."},{"issue":"11","key":"8_CR25","doi-asserted-by":"publisher","first-page":"1473","DOI":"10.1037\/xge0000219","volume":"145","author":"TS Redick","year":"2016","unstructured":"Redick, T.S., et al.: Cognitive predictors of a common multitasking ability: contributions from working memory, attention control, and fluid intelligence. J. Exp. Psychol. Gen. 145(11), 1473 (2016)","journal-title":"J. Exp. Psychol. Gen."},{"issue":"8","key":"8_CR26","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.ssci.2005.04.001","volume":"43","author":"ST Shorrock","year":"2005","unstructured":"Shorrock, S.T.: Errors of memory in air traffic control. Saf. Sci. 43(8), 571\u2013588 (2005)","journal-title":"Saf. Sci."},{"issue":"2","key":"8_CR27","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0749-596X(89)90040-5","volume":"28","author":"ML Turner","year":"1989","unstructured":"Turner, M.L., Engle, R.W.: Is working memory capacity task dependent? J. Mem. Lang. 28(2), 127\u2013154 (1989)","journal-title":"J. Mem. Lang."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Wickens, C.D.: Processing resources and attention. Mult. Task Perform., 3\u201334 (1991)","DOI":"10.1201\/9781003069447-2"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.ijhcs.2015.01.002","volume":"79","author":"CD Wickens","year":"2015","unstructured":"Wickens, C.D., Gutzwiller, R.S., Santamaria, A.: Discrete task switching in overload: a meta-analyses and a model. Int. J. Hum. Comput. Stud. 79, 79\u201384 (2015)","journal-title":"Int. J. Hum. Comput. Stud."},{"issue":"6","key":"8_CR30","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1177\/0018720814566454","volume":"57","author":"CD Wickens","year":"2015","unstructured":"Wickens, C.D., Sebok, A., Li, H., Sarter, N., Gacy, A.M.: Using modeling and simulation to predict operator performance and automation-induced complacency with robotic automation: a case study and empirical validation. Hum. Factors 57(6), 959\u2013975 (2015)","journal-title":"Hum. Factors"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54994-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:07:37Z","timestamp":1597262857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54994-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549930","9783030549947"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54994-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}