{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:09:34Z","timestamp":1749614974016,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319458915"},{"type":"electronic","value":"9783319458922"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45892-2_5","type":"book-chapter","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T04:32:31Z","timestamp":1472099551000},"page":"62-75","source":"Crossref","is-referenced-by-count":9,"title":["Formal Verification of the On-the-Fly Vehicle Platooning Protocol"],"prefix":"10.1007","author":[{"given":"Piergiuseppe","family":"Mallozzi","sequence":"first","affiliation":[]},{"given":"Massimo","family":"Sciancalepore","sequence":"additional","affiliation":[]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,26]]},"reference":[{"key":"5_CR1","unstructured":"Current State of EU Legislation - Cooperative Dynamic Formation of Platoons for Safe and Energy-optimized Goods Transportation. http:\/\/www.companion-project.eu\/wp-content\/uploads\/COMPANION-D2.2-Current-state-of-the-EU-legislation.pdf"},{"key":"5_CR2","unstructured":"Intelligent transport systems - Innovating for the transport of the future. http:\/\/ec.europa.eu\/transport\/themes\/its\/index_en.htm"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 414\u2013425. IEEE (1990)","DOI":"10.1109\/LICS.1990.113766"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-adaptive Systems II","author":"R Lemos de","year":"2013","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Self-Adaptive Systems. LNCS, vol. 7475, pp. 1\u201332. Springer, Heidelberg (2013)"},{"key":"5_CR5","unstructured":"F\u00fcrst, S., M\u00f6ssinger, J., Bunzel, S., Weber, T., Kirschke-Biller, F., Heitk\u00e4mper, P., Kinkelin, G., Nishikawa, K., Lange, K.: Autosar-a worldwide standard is on the road. In: 14th International VDI Congress Electronic Systems for Vehicles, Baden-Baden, vol. 62 (2009)"},{"key":"5_CR6","unstructured":"David, A., Behrmann, G., Larsen, K.G.: A tutorial on uppaal 4.0, 28 November 2006"},{"issue":"2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193\u2013244 (1994)","journal-title":"Inf. Comput."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: Proceedings of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, pp. 106\u2013115. IEEE Computer Society, Washington, DC (2009)","DOI":"10.1109\/SEAMS.2009.5069079"},{"key":"5_CR9","unstructured":"McAree, O., Fisher, M., Kamali, M., Dennis, L.A., Veres, S.M.: Formal verification of autonomous vehicle platooning, 5 February 2016"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18:1\u201318:41, September 2015","DOI":"10.1145\/2794381"},{"key":"5_CR11","unstructured":"\u00d6stberg, K., Bengtsson, M.: Run time safety analysis for automotive systems in an open and adaptive environment. In: SAFECOMP 2013-Workshop, NA, September 2013"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Priesterjahnr, C.: Runtime safety analysis for safe reconfiguration, pp. 1\u20136, June 2013","DOI":"10.1109\/INDIN.2012.6300900"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Just-in-time certification. In: 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 15\u201324. IEEE (2007)","DOI":"10.1109\/ICECCS.2007.26"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-89247-2_2","volume-title":"Runtime Verification","author":"J Rushby","year":"2008","unstructured":"Rushby, J.: Runtime certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 21\u201335. Springer, Heidelberg (2008)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2491465.2491467","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. 8(2), 1\u201320 (2013)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Hansson, H., Hang, Y., Carlson, J.: Towards mode switch handling in component-based multi-mode systems. In: Proceedings of 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2012, Bertinoro, Italy, pp. 183\u2013188, June 2012","DOI":"10.1145\/2304736.2304766"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45892-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T13:46:22Z","timestamp":1749563182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45892-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319458915","9783319458922"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45892-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}