{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T03:08:29Z","timestamp":1768014509853,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"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":[],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1109\/meco49872.2020.9134339","type":"proceedings-article","created":{"date-parts":[[2020,7,7]],"date-time":"2020-07-07T20:30:08Z","timestamp":1594153808000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["Variability-Aware Process Extension for Updating Cyber Physical Systems Over the Air"],"prefix":"10.1109","author":[{"given":"Houssem","family":"Guissouma","sequence":"first","affiliation":[]},{"given":"Carl Philipp","family":"Hohl","sequence":"additional","affiliation":[]},{"given":"Hannes","family":"Stoll","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Sax","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-34614-9","author":"pohl","year":"2012","journal-title":"Model-Based Engineering of Embedded Systems The SPES 2020 Methodology"},{"key":"ref11","author":"benveniste","year":"2012","journal-title":"Contracts for system design"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.7250\/csimq.2015-4.05"},{"key":"ref13","year":"2014","journal-title":"CO-OVM a practical approach to systems engineering variability modeling"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"ref15","first-page":"44","article-title":"Model-driven support for source code variability in automotive software engineering","author":"mengi","year":"0","journal-title":"1st MAPLE Workshop"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2018.00071"},{"key":"ref17","first-page":"151","article-title":"Virtual test method for complex and variant-rich automotive systems [in press]","author":"lauber","year":"2018","journal-title":"2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4271\/2017-01-1671"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34059-8_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2005.1505167"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0056"},{"key":"ref6","year":"0","journal-title":"Task force on cyber security and (OTA) software updates (CS\/OTA)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCW.2008.78"},{"key":"ref8","year":"2017","journal-title":"Joint Working Group Industry Standard on Software Maintenance of Shipboard Equipment v1 0"},{"key":"ref7","year":"2019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2018.00056"},{"key":"ref1","volume":"10099","author":"bondavalli","year":"2016","journal-title":"Cyber-physical systems of systems foundations–a conceptual model and some derivations the AMADEOS legacy"},{"key":"ref9","author":"tim","year":"2015","journal-title":"Model-Based System Architecture"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110419"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.09.090"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.56"},{"key":"ref24","volume":"118","author":"corke","year":"2017","journal-title":"Robotics Vision and Control Fundamental Algorithms In MATLAB® Second Completely Revised"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0016"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"}],"event":{"name":"2020 9th Mediterranean Conference on Embedded Computing (MECO)","location":"Budva, Montenegro","start":{"date-parts":[[2020,6,8]]},"end":{"date-parts":[[2020,6,11]]}},"container-title":["2020 9th Mediterranean Conference on Embedded Computing (MECO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9125448\/9134063\/09134339.pdf?arnumber=9134339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,3]],"date-time":"2023-10-03T16:34:34Z","timestamp":1696350874000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9134339\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/meco49872.2020.9134339","relation":{},"subject":[],"published":{"date-parts":[[2020,6]]}}}