{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:07:03Z","timestamp":1757617623004,"version":"3.44.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031863691"},{"type":"electronic","value":"9783031863707"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-86370-7_25","type":"book-chapter","created":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T07:35:52Z","timestamp":1743752152000},"page":"411-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking"],"prefix":"10.1007","author":[{"given":"Simona","family":"Correra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Sorgente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulia","family":"Varriano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittoria","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,3]]},"reference":[{"key":"25_CR1","unstructured":"ISO: 20035:2019, Intelligent transport systems - Cooperative adaptive cruise control systems (CACC) - Performance requirements and test procedures (2019)"},{"key":"25_CR2","unstructured":"Accelerate safety measures to reduce road traffic deaths: Who (2024). https:\/\/www.who.int\/southeastasia\/news\/detail\/02-09-2024-accelerate-safety-measures-to-reduce-road-traffic-deaths-who"},{"issue":"1","key":"25_CR3","first-page":"85","volume":"10","author":"PJM Ali","year":"2022","unstructured":"Ali, P.J.M.: Investigating the impact of min-max data normalization on the regression performance of k-nearest neighbor with different similarity measurements. ARO-The Sci. J. Koya Univ. 10(1), 85\u201391 (2022)","journal-title":"ARO-The Sci. J. Koya Univ."},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1076\/vesd.32.1.23.4228","volume":"32","author":"L Alvarez","year":"1999","unstructured":"Alvarez, L., Horowitz, R.: Safe platooning in automated highway systems part i: safety regions design. Veh. Syst. Dyn. 32(1), 23\u201355 (1999)","journal-title":"Veh. Syst. Dyn."},{"key":"25_CR5","unstructured":"Bergenhem, C., Huang, Q., Benmimoun, A., Robinson, T.: Challenges of platooning on public motorways. In: 17th World Congress on Intelligent Transport Systems, pp. 1\u201312 (2010)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Braiteh, F.E., Bassi, F., Khatoun, R.: Platooning in connected vehicles: a review of current solutions, standardization activities, cybersecurity, and research opportunities. IEEE Trans. Intell. Veh. (2024)","DOI":"10.1109\/TIV.2024.3447916"},{"key":"25_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"EM Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Cleaveland, R., Sims, S.: The NCSU concurrency workbench. In: CAV. Springer (1996)","DOI":"10.1007\/3-540-61474-5_87"},{"key":"25_CR9","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctv14jx6sm","volume-title":"Time Series Analysis","author":"JD Hamilton","year":"2020","unstructured":"Hamilton, J.D.: Time Series Analysis. Princeton University Press, Princeton (2020)"},{"issue":"7825","key":"25_CR10","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1038\/s41586-020-2649-2","volume":"585","author":"CR Harris","year":"2020","unstructured":"Harris, C.R., et al.: Array programming with NumPy. Nature 585(7825), 357\u2013362 (2020). https:\/\/doi.org\/10.1038\/s41586-020-2649-2","journal-title":"Nature"},{"issue":"4","key":"25_CR11","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1109\/TIV.2022.3186897","volume":"7","author":"Z Ju","year":"2022","unstructured":"Ju, Z., Zhang, H., Li, X., Chen, X., Han, J., Yang, M.: A survey on attack detection and resilience for connected and automated vehicles: from vehicle dynamics and control perspective. IEEE Trans. Intell. Veh. 7(4), 815\u2013837 (2022)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"23259","DOI":"10.1109\/ACCESS.2022.3151358","volume":"10","author":"H Kim","year":"2022","unstructured":"Kim, H., Jeong, Y., Choi, W., Lee, D.H., Jo, H.J.: Efficient ECU analysis technology through structure-aware can fuzzing. IEEE Access 10, 23259\u201323271 (2022)","journal-title":"IEEE Access"},{"issue":"21","key":"25_CR13","doi-asserted-by":"publisher","first-page":"7126","DOI":"10.3390\/s21217126","volume":"21","author":"G Lee","year":"2021","unstructured":"Lee, G., Jung, J.I.: Decentralized platoon join-in-middle protocol considering communication delay for connected and automated vehicle. Sensors 21(21), 7126 (2021)","journal-title":"Sensors"},{"key":"25_CR14","unstructured":"Milner, R.: Communication and concurrency. PHI Series in computer science, Prentice Hall (1989)"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.comcom.2023.09.019","volume":"212","author":"M Palmieri","year":"2023","unstructured":"Palmieri, M., Quadri, C., Fagiolini, A., Bernardeschi, C.: Co-simulated digital twin on the network edge: a vehicle platoon. Comput. Commun. 212, 35\u201347 (2023)","journal-title":"Comput. Commun."},{"key":"25_CR16","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., et al.: Scikit-learn: machine learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.comcom.2018.03.014","volume":"122","author":"A Petrillo","year":"2018","unstructured":"Petrillo, A., Pescap\u00e9, A., Santini, S.: A collaborative approach for improving the security of vehicular scenarios: the case of platooning. Comput. Commun. 122, 59\u201375 (2018)","journal-title":"Comput. Commun."},{"issue":"5","key":"25_CR18","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/j.ifacol.2019.09.057","volume":"52","author":"A Schwab","year":"2019","unstructured":"Schwab, A., Lunze, J.: Vehicle platooning and cooperative merging. IFAC-PapersOnLine 52(5), 353\u2013358 (2019)","journal-title":"IFAC-PapersOnLine"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Seabold, S., Perktold, J.: Statsmodels: econometric and statistical modeling with python. In: 9th Python in Science Conference (2010)","DOI":"10.25080\/Majora-92bf1922-011"},{"key":"25_CR20","unstructured":"Stirling, C.: An introduction to modal and temporal logics for CCS. In: Concurrency: Theory, Language, and Architecture, pp. 2\u201320 (1989)"},{"issue":"2","key":"25_CR21","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1109\/TITS.2020.3024950","volume":"23","author":"S Thormann","year":"2020","unstructured":"Thormann, S., Schirrer, A., Jakubek, S.: Safe and efficient cooperative platooning. IEEE Trans. Intell. Transp. Syst. 23(2), 1368\u20131380 (2020)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"21","key":"25_CR22","doi-asserted-by":"publisher","first-page":"41","DOI":"10.3182\/20130904-4-JP-2042.00110","volume":"46","author":"S Tsugawa","year":"2013","unstructured":"Tsugawa, S.: An overview on an automated truck platoon within the energy its project. IFAC Proc. Vol. 46(21), 41\u201346 (2013)","journal-title":"IFAC Proc. Vol."},{"issue":"19","key":"25_CR23","doi-asserted-by":"publisher","first-page":"12409","DOI":"10.3390\/su141912409","volume":"14","author":"Z Wang","year":"2022","unstructured":"Wang, Z., Wei, H., Wang, J., Zeng, X., Chang, Y.: Security issues and solutions for connected and autonomous vehicles in a sustainable city: a survey. Sustainability 14(19), 12409 (2022)","journal-title":"Sustainability"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Winner, H., Danner, B., Steinle, J.: Adaptive cruise control. Handbuch Fahrerassistenzsysteme: Grundlagen, Komponenten und Systeme f\u00fcr aktive Sicherheit und Komfort, pp. 478\u2013521 (2009)","DOI":"10.1007\/978-3-8348-9977-4_33"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Intelligent Transport Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-86370-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T08:41:38Z","timestamp":1757148098000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-86370-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031863691","9783031863707"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-86370-7_25","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"3 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"INTSYS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Transport Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","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":"5 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"intsys2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}