{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:05:00Z","timestamp":1743145500182,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031637896"},{"type":"electronic","value":"9783031637902"}],"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:\/\/2.zoppoz.workers.dev:443\/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:\/\/2.zoppoz.workers.dev:443\/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-63790-2_3","type":"book-chapter","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T14:03:41Z","timestamp":1718892221000},"page":"43-60","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Event-B Development of\u00a0Modelling Human Intervention Request in\u00a0Self-driving Vehicle Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0001-8545-907X","authenticated-orcid":false,"given":"Fahad","family":"Alotaibi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0003-4095-0732","authenticated-orcid":false,"given":"Thai Son","family":"Hoang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0002-0508-3066","authenticated-orcid":false,"given":"Asieh Salehi","family":"Fathabadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0003-4642-5373","authenticated-orcid":false,"given":"Michael","family":"Butler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,21]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR3","unstructured":"Becker, C., Yount, L., Rozen-Levy, S., Brewer, J., et\u00a0al.: Functional safety assessment of an automated lane centering system. Technical report, United States. Department of Transportation. National Highway Traffic Safety\u00a0$$\\ldots $$(2018)"},{"key":"3_CR4","unstructured":"Blanco, M., et al.: Human factors evaluation of level 2 and level 3 automated driving concepts. Technical report, National Highway Traffic Safety Admin (2014)"},{"key":"3_CR5","unstructured":"Butler, M., Falampin, J.: An approach to modelling and refining timing properties in B. In: Refinement of Critical Systems (RCS) (2002)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11955757_13","volume-title":"B 2007: Formal Specification and Development in B","author":"D Cansell","year":"2006","unstructured":"Cansell, D., M\u00e9ry, D., Rehm, J.: Time constraint patterns for Event B development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 140\u2013154. Springer, Heidelberg (2006). https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/11955757_13"},{"key":"3_CR7","unstructured":"Christensen, A., et al.: Key considerations in the development of driving automation systems. In: 24th Enhanced Safety Vehicles Conference. Gothenburg, Sweden (2015)"},{"issue":"6397","key":"3_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1126\/science.aau2715","volume":"361","author":"J Claybrook","year":"2018","unstructured":"Claybrook, J., Kildare, S.: Autonomous vehicles: no driver$$\\ldots $$ no regulation? Science 361(6397), 36\u201337 (2018)","journal-title":"Science"},{"key":"3_CR9","unstructured":"Comma.ai: Openpilot: an open source driver assistance system (2022). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/commaai\/openpilot\/"},{"key":"3_CR10","unstructured":"Fridman, L.: Human-centered autonomous vehicle systems: principles of effective shared autonomy. arXiv preprint arXiv:1810.01835 (2018)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Hoang, T.S., Dghaym, D., Snook, C., Butler, M.: A composition mechanism for refinement-based methods. In: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 100\u2013109. IEEE (2017)","DOI":"10.1109\/ICECCS.2017.27"},{"key":"3_CR12","unstructured":"HSRC: Top Safety Picks by HSRC (Highway\u00a0safety\u00a0research\u00a0 &\u00a0communications). https:\/\/2.zoppoz.workers.dev:443\/https\/www.iihs.org\/iihs\/ratings\/TSP-List. Accessed 22 June 2022"},{"key":"3_CR13","unstructured":"Lerner, N., Jenness, J., Robinson, E., Brown, T., Baldwin, C., Llaneras, R.E., et\u00a0al.: Crash warning interface metrics. Technical report, United States. National Highway Traffic Safety Administration (2011)"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B Method. Int. J. Softw. Tools Technol. Transfer 10(2), 185\u2013203 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/j.trf.2014.09.005","volume":"27","author":"N Merat","year":"2014","unstructured":"Merat, N., Jamson, A.H., Lai, F.C., Daly, M., Carsten, O.M.: Transition to manual: driver behaviour when resuming control from a highly automated vehicle. Transport. Res. F: Traffic Psychol. Behav. 27, 274\u2013282 (2014)","journal-title":"Transport. Res. F: Traffic Psychol. Behav."},{"key":"3_CR16","unstructured":"Radovic, M.: Tech talk: Untangling the 5 levels of drone autonomy. https:\/\/2.zoppoz.workers.dev:443\/https\/droneii.com\/project\/drone-autonomy-levels. Accessed 25 Nov 2022"},{"key":"3_CR17","unstructured":"SAE: Taxonomy and definitions for terms related to on-road motor vehicle automated driving systems. SAE Standard J 3016, 1\u201316 (2014)"},{"key":"3_CR18","unstructured":"Sarshogh, M.R., Butler, M.: Specification and refinement of discrete timing properties in Event-B. Electron. Commun. EASST 36 (2011)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Vagia, M., R\u00f8dseth, \u00d8.J.: A taxonomy for autonomous vehicles for different transportation modes. In: Journal of Physics: Conference Series. IOP Publishing (2019)","DOI":"10.1088\/1742-6596\/1357\/1\/012022"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/3434580","volume":"28","author":"W Xu","year":"2020","unstructured":"Xu, W.: From automation to autonomy and autonomous vehicles: challenges and opportunities for human-computer interaction. Interactions 28(1), 48\u201353 (2020)","journal-title":"Interactions"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"102390","DOI":"10.1016\/j.scico.2020.102390","volume":"189","author":"C Zhu","year":"2020","unstructured":"Zhu, C., Butler, M., Cirstea, C.: Formalizing hierarchical scheduling for refinement of real-time systems. Sci. Comput. Program. 189, 102390 (2020)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Rigorous State-Based Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-63790-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:06:56Z","timestamp":1725523616000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/link.springer.com\/10.1007\/978-3-031-63790-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031637896","9783031637902"],"references-count":21,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-031-63790-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author(s) has no competing interests to declare that are relevant to the content of this manuscript.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}},{"value":"ABZ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Rigorous State-Based Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergamo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"25 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"abz2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/abz-conf.org\/site\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}