{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:11:33Z","timestamp":1740100293814,"version":"3.37.3"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,13]]},"DOI":"10.1109\/isse51541.2021.9582468","type":"proceedings-article","created":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T19:39:46Z","timestamp":1635449986000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems"],"prefix":"10.1109","author":[{"given":"Houssem","family":"Guissouma","sequence":"first","affiliation":[]},{"given":"Janis","family":"Kroger","sequence":"additional","affiliation":[]},{"given":"Sebastian Vander","family":"Maelen","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Sax","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16901-4_5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/9781119051930"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183523"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48003-9_11"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"ref16","first-page":"44","article-title":"Model-driven support for source code variability in automotive software engineering","author":"mengi","year":"2009","journal-title":"1st MAPLE Workshop"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2018.00071"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18070-5_5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3307630.3342411"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2018.00056"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54549-9_4"},{"key":"ref3","first-page":"1525","article-title":"Revealing the complexity of automotive software","author":"antinyan","year":"2020","journal-title":"ser ESEC\/FSE 2020"},{"journal-title":"Agreed proposal based on ece\/trans\/wp 29\/grva\/2019\/5","year":"2019","key":"ref27"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI51800.2020.00318"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3182\/20120215-3-AT-3016.00060"},{"key":"ref8","article-title":"Fostering Reuse Within Safety-Critical Component-Based Systems Through Fine-Grained Contracts","author":"sljivo","year":"2013","journal-title":"Proceedings of the International Workshop on Critical Software Component Reusability and Certification across Domains (CSCR’13)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2013.6688921"},{"key":"ref2","first-page":"33","article-title":"Automotive software architectures","author":"staron","year":"2017","journal-title":"Automotive Software Architectures"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049805"},{"key":"ref20","first-page":"16","article-title":"Reusing a functional safety concept in variable system architectures","volume":"1250","author":"oertel","year":"2014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.02250"},{"journal-title":"Collision avoidance theory with application to automotive collision mitigation","year":"2005","author":"jansson","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MECO49872.2020.9134339"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1080\/15389588.2019.1630734"}],"event":{"name":"2021 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2021,9,13]]},"location":"Vienna, Austria","end":{"date-parts":[[2021,10,13]]}},"container-title":["2021 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9582418\/9582438\/09582468.pdf?arnumber=9582468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:47Z","timestamp":1652201747000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9582468\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,13]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/isse51541.2021.9582468","relation":{},"subject":[],"published":{"date-parts":[[2021,9,13]]}}}