{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:12:23Z","timestamp":1743106343529,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031567759"},{"type":"electronic","value":"9783031567766"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-56776-6_2","type":"book-chapter","created":{"date-parts":[[2024,3,23]],"date-time":"2024-03-23T16:01:44Z","timestamp":1711209704000},"page":"14-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["What Level of\u00a0Power Should We Give an\u00a0Automation?"],"prefix":"10.1007","author":[{"given":"Mehrnoush","family":"Hajnorouzi","sequence":"first","affiliation":[]},{"given":"Astrid","family":"Rakow","sequence":"additional","affiliation":[]},{"given":"Akhila","family":"Bairy","sequence":"additional","affiliation":[]},{"given":"Jan-Patrick","family":"Osterloh","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,24]]},"reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson, J.R., Bothell, D., Byrne, M.D., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychol. Rev. 111(4), 1036\u201360 (2004)","journal-title":"Psychol. Rev."},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.4324\/9781315805696","author":"JR Anderson","year":"1998","unstructured":"Anderson, J.R., Lebiere, C.: The atomic components of thought. Psychol. Press (1998). https:\/\/doi.org\/10.4324\/9781315805696","journal-title":"Psychol. Press"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987). https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6","journal-title":"Inf. Comput."},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Bairy, A., Fr\u00e4nzle, M.: Optimal explanation generation using attention distribution model. Hum. Interact. Emerg. Technol. (IHIET-AI 2023): Artif. Intell. Future Appl. 70(70) (2023). https:\/\/doi.org\/10.54941\/ahfe1002928","DOI":"10.54941\/ahfe1002928"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Bechara, A., Damasio, H., Damasio, A.: Emotion, decision making and the orbitofrontal cortex. Cerebral cortex (New York, N.Y. : 1991) 10, 295\u2013307 (2000). https:\/\/doi.org\/10.1093\/cercor\/10.3.295","DOI":"10.1093\/cercor\/10.3.295"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1049\/sej.1993.0025","volume":"8","author":"J Bowen","year":"1993","unstructured":"Bowen, J., Stavridou, V.: Safety-critical systems, formal methods and standards. Softw. Eng. J. 8, 189\u2013209 (1993). https:\/\/doi.org\/10.1049\/sej.1993.0025","journal-title":"Softw. Eng. J."},{"key":"2_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, Cham (2008). https:\/\/doi.org\/10.1007\/978-0-387-68612-7"},{"key":"2_CR8","unstructured":"ERTRAC Working Group: Connected automated driving roadmap (2019)"},{"key":"2_CR9","unstructured":"Frische, F., Osterloh, J.P., L\u00fcdtke, A.: Simulating visual attention allocation of pilots in an advanced cockpit environment. In: Selected Papers and Presentations Presented at MODSIM World 2010 Conference Expo, pp. 713\u2013721. MODSIM World Conference, Hampton, VA, USA (2011)"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1037\/1076-898X.12.2.67","volume":"12","author":"WJ Horrey","year":"2006","unstructured":"Horrey, W.J., Wickens, C.D., Consalus, K.P.: Modeling drivers\u2019 visual attention allocation while interacting with in-vehicle technologies. J. Exp. Psychol. Appl. 12(2), 67\u201378 (2006). https:\/\/doi.org\/10.1037\/1076-898X.12.2.67","journal-title":"J. Exp. Psychol. Appl."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/08339510290030417","volume":"16","author":"E Hudlicka","year":"2002","unstructured":"Hudlicka, E.: This time with feeling: integrated model of trait and state effects on cognition and behavior. Appl. Artif. Intell. 16, 1\u201331 (2002). https:\/\/doi.org\/10.1080\/08339510290030417","journal-title":"Appl. Artif. Intell."},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-664-1","volume-title":"Adaptive Control: Algorithms, Analysis and Applications","author":"ID Landau","year":"2011","unstructured":"Landau, I.D., Lozano, R., M\u2019Saad, M., Karimi, A.: Adaptive Control: Algorithms, Analysis and Applications. Springer Science & Business Media, Cham (2011). https:\/\/doi.org\/10.1007\/978-0-85729-664-1"},{"key":"2_CR13","unstructured":"Langenfeld, V., Westphal, B., Albrecht, R., Podelski, A.: But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. In: Cognitive Science (2018)"},{"key":"2_CR14","unstructured":"Langenfeld, V., Westphal, B., Podelski, A.: On formal verification of ACT-R architectures and models. In: CogSci, pp. 618\u2013624 (2019)"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1518\/hfes.46.1.50_30392","volume":"46","author":"JD Lee","year":"2004","unstructured":"Lee, J.D., See, K.A.: Trust in automation: designing for appropriate reliance. Hum. Factors 46(1), 50\u201380 (2004). https:\/\/doi.org\/10.1518\/hfes.46.1.50_30392","journal-title":"Hum. Factors"},{"key":"2_CR16","unstructured":"L\u00fcdtke, A., Osterloh, J.P., Frische, F.: Multi-criteria evaluation of aircraft cockpit systems by model-based simulation of pilot performance. In: Embedded Real Time Software and Systems (ERTS2012). ERTS, Toulouse, France (2012)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 95. Lecture Notes in Computer Science, vol. 900, pp. 229\u2013242. Springer, Berlin, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59042-0_76"},{"key":"2_CR18","volume-title":"Unified Theories of Cognition","author":"A Newell","year":"1990","unstructured":"Newell, A.: Unified Theories of Cognition. Harvard University Press, USA (1990)"},{"key":"2_CR19","unstructured":"Osterloh, J.P., Rieger, J.W., L\u00fcdtke, A.: Modelling workload of a virtual driver. In: Proceedings of the 15th International Conference on Cognitive Modeling. ICCM, Warwick, UK (2017)"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/75277.75293","volume":"372","author":"A Pnueli","year":"1989","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. Automata Lang. Program. 372, 179\u2013190 (1989). https:\/\/doi.org\/10.1145\/75277.75293","journal-title":"Automata Lang. Program."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/eptcs.395.1","volume":"395","author":"A Rakow","year":"2023","unstructured":"Rakow, A., Hajnorouzi, M., Bairy, A.: What to tell when? - Information provision as a game. Electron. Proc. Theor. Comput. Sci. 395, 1\u20139 (2023). https:\/\/doi.org\/10.4204\/eptcs.395.1","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"2_CR22","unstructured":"SAE International: J3016: Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (2021)"},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780195130072.001.0001","volume-title":"Appraisal Processes in Emotion: Theory, Methods, Research","author":"KR Scherer","year":"2001","unstructured":"Scherer, K.R., Schorr, A., Johnstone, T.: Appraisal Processes in Emotion: Theory, Methods, Research. Oxford University Press, Oxford (2001)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Sheridan, T.B., Verplank, W.L., Brooks, T.: Human and computer control of undersea teleoperators. In: NASA. Ames Res. Center The 14th Ann. Conf. on Manual Control (1978)","DOI":"10.21236\/ADA057655"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-59042-0_57","volume-title":"STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2\u20134, 1995, Proceedings","author":"W Thomas","year":"1995","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2\u20134, 1995, Proceedings. Lecture Notes in Computer Science, vol. 900, pp. 1\u201313. Springer, Cham (1995). https:\/\/doi.org\/10.1007\/3-540-59042-0_57"},{"key":"2_CR26","unstructured":"Wickens, C., Helleberg, J., Goh, J., Xu, X., Horrey, W.: Pilot task management: testing an attentional expected value model of visual scanning. Savoy, IL, UIUC Institute of Aviation Technical Report (2001)"},{"key":"2_CR27","unstructured":"Wortelen, B.: Das Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells. Ph.D. thesis, Carl von Ossietzky Universit\u00e4t, Oldenburg, Germany (2014)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.trf.2013.09.019","volume":"21","author":"B Wortelen","year":"2013","unstructured":"Wortelen, B., Baumann, M., L\u00fcdtke, A.: Dynamic simulation and prediction of drivers\u2019 attention distribution. Transport. Res. F: Traffic Psychol. Behav. 21, 278\u2013294 (2013). https:\/\/doi.org\/10.1016\/j.trf.2013.09.019","journal-title":"Transport. Res. F: Traffic Psychol. Behav."},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-95996-2_2","volume-title":"Cognitive Infocommunications, Theory and Applications","author":"B Wortelen","year":"2019","unstructured":"Wortelen, B., Unni, A., Rieger, J.W., L\u00fcdtke, A., Osterloh, J.P.: Monte Carlo methods for real-time driver workload estimation using a cognitive architecture. In: Klempous, R., Nikodem, J., Baranyi, P.Z. (eds.) Cognitive Infocommunications, Theory and Applications, pp. 25\u201348. Springer International Publishing, Cham, Switzerland (2019). https:\/\/doi.org\/10.1007\/978-3-319-95996-2_2"},{"key":"2_CR30","unstructured":"Zacharias, G.L., Miao, A.X., Illgen, C., Yara, J.M., Siouris, G.: SAMPLE: situation awareness model for pilot in-the-loop evaluation. In: Proceedings of the 1st Annual Conference on Situation Awareness in the Tactical Air Environment. Citeseer (1996)"}],"container-title":["Communications in Computer and Information Science","Dependable Computing \u2013 EDCC 2024 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56776-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T00:07:04Z","timestamp":1711584424000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56776-6_2"}},"subtitle":["\u2014Adjusting the Level of Automation in HCPS \u2014"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031567759","9783031567766"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56776-6_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"24 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EDCC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Dependable Computing Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"edcc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/trust-edcc2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}