{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:24:30Z","timestamp":1730276670013,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"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":[[2019,10]]},"DOI":"10.1109\/isse46696.2019.8984478","type":"proceedings-article","created":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T01:28:37Z","timestamp":1581038917000},"page":"1-8","source":"Crossref","is-referenced-by-count":7,"title":["Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology"],"prefix":"10.1109","author":[{"given":"Houssem","family":"Guissouma","sequence":"first","affiliation":[]},{"given":"Simon","family":"Leiner","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Sax","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Contracts for Systems Design: Research Report","year":"0","author":"benveniste","key":"ref10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1007\/s10270-015-0477-x","article-title":"Contract-based verification of discretetime multi-rate Simulink models","volume":"15","author":"bostr\u00f6m","year":"2016","journal-title":"Software & Systems Modeling"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.4271\/2016-01-0016","article-title":"E\/e architectural design and optimization using preevision","author":"sch\u00e4uffele","year":"2016","journal-title":"SAE 2016 World Congress and Exhibition"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1007\/s10009-014-0314-5","article-title":"Let’s Verify This with Why3","volume":"17","author":"bobot","year":"2015","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2016.7819147"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2377656.2377659"},{"key":"ref16","article-title":"Why templates on system behavior are not used in practice yet: A Proposal for Enhancements, Application and Formalization","author":"grabowski","year":"2017","journal-title":"masters thesis"},{"article-title":"GCSL syntax, semantics and meta-model","year":"2015","author":"boyer","key":"ref17"},{"key":"ref18","first-page":"245","article-title":"Systematic refinement of CPS requirements using SysML, template language and contracts","author":"grabowski","year":"2018","journal-title":"Modellierung 2018"},{"year":"2008","author":"sax","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"year":"2012","author":"geisberger","key":"ref3"},{"article-title":"Eiffel programming language","year":"0","author":"software","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99981-4_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"article-title":"Design by contract. technical report tr-ei-12\/co","year":"1986","author":"meyer","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.7250\/csimq.2015-4.05"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08766-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"article-title":"AutoFOCUS 3: Modell-basierte Entwicklung Eingebetteter Systeme","year":"2018","author":"gmbh","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"year":"2018","key":"ref23","article-title":"Simulink"}],"event":{"name":"2019 International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2019,10,1]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2019,10,3]]}},"container-title":["2019 International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8966755\/8984263\/08984478.pdf?arnumber=8984478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T17:54:39Z","timestamp":1658080479000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8984478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/isse46696.2019.8984478","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}