{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:23:34Z","timestamp":1774365814093,"version":"3.50.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Veh. Technol."],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1109\/tvt.2022.3209339","type":"journal-article","created":{"date-parts":[[2022,9,26]],"date-time":"2022-09-26T20:42:40Z","timestamp":1664224960000},"page":"1530-1544","source":"Crossref","is-referenced-by-count":3,"title":["Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols"],"prefix":"10.1109","volume":"72","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7985-4364","authenticated-orcid":false,"given":"Samir","family":"Chouali","sequence":"first","affiliation":[{"name":"DISC Department, FEMTO-ST Institute, CNRS UMR 6174, University of Bourgogne Franche-Comte, BesanÇon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3851-9938","authenticated-orcid":false,"given":"Azzedine","family":"Boukerche","sequence":"additional","affiliation":[{"name":"PARADISE Research Laboratory, University of Ottawa, Ottawa, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8863-4080","authenticated-orcid":false,"given":"Ahmed","family":"Mostefaoui","sequence":"additional","affiliation":[{"name":"DISC Department, FEMTO-ST Institute, CNRS UMR 6174, University of Bourgogne Franche-Comte, BesanÇon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5316-6456","authenticated-orcid":false,"given":"Mohammed Amine","family":"Merzoug","sequence":"additional","affiliation":[{"name":"Computer Science Department, Faculty of Mathematics and Computer Science, University of Batna, Batna, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Component Software","author":"Szyperski","year":"1999"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3127540.3127581"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1504\/ijcaet.2019.098134"},{"key":"ref8","article-title":"Formal methods for design and verification of embedded control systems: Application to an autonomous vehicle","author":"Wongpiromsarn","year":"2010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.3040817"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2019.2957536"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2019.2926733"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919109"},{"issue":"3","key":"ref15","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0164-1212(02)00080-8","article-title":"Reliability prediction for component-based software architectures","volume":"66","author":"Schmidt","year":"2003","journal-title":"J. Syst. Softw."},{"key":"ref16","article-title":"Estimation of static memory consumption for systems built from source code components","volume-title":"Proc. 9th IEEE Conf. Workshops Eng. Comput.-Based Syst.","author":"Eskenazi","year":"2002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0115-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_9"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755967"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.04.003"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2237796.2237813"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07602-7_7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25423-4_27"},{"key":"ref26","first-page":"22","article-title":"Behavioral substitutability in component frameworks: A formal approach","volume-title":"Proc. Specification Verification Component-Based Syst.","author":"Moisan","year":"2003"},{"key":"ref27","first-page":"1","article-title":"Towards component based software performance engineering","volume-title":"Proc. 6th Workshop Component-Based Softw. Eng.: Automated Reasoning Prediction at ICSE","author":"Bertolino","year":"2003"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974052"},{"key":"ref29","article-title":"Non-functional property analysis using UML2.0 and model transformations","author":"Andr","year":"2006"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2013.06.032"}],"container-title":["IEEE Transactions on Vehicular Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/25\/10043591\/09903283.pdf?arnumber=9903283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T22:52:06Z","timestamp":1705963926000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9903283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2]]},"references-count":28,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tvt.2022.3209339","relation":{},"ISSN":["0018-9545","1939-9359"],"issn-type":[{"value":"0018-9545","type":"print"},{"value":"1939-9359","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2]]}}}