{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:12:25Z","timestamp":1725750745518},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715153","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:29:07Z","timestamp":1558027747000},"page":"1439-1444","source":"Crossref","is-referenced-by-count":4,"title":["Cross-Layer Interactions in CPS for Performance and Certification"],"prefix":"10.23919","author":[{"given":"Samarjit","family":"Chakraborty","sequence":"first","affiliation":[]},{"given":"James H.","family":"Anderson","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Becker","sequence":"additional","affiliation":[]},{"given":"Helmut","family":"Graeb","sequence":"additional","affiliation":[]},{"given":"Samiran","family":"Halder","sequence":"additional","affiliation":[]},{"given":"Ravindra","family":"Metta","sequence":"additional","affiliation":[]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]},{"given":"Anand","family":"Yeolekar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"year":"2018","key":"ref10","article-title":"Simulink code generation bugs"},{"year":"2018","key":"ref11","article-title":"Mathworks Embedded Coder bugs"},{"year":"2018","key":"ref12","article-title":"MATLAB Coder code generation bugs"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_9"},{"key":"ref14","article-title":"Using ellipsoidal domains to analyze control systems software","author":"alegre","year":"2009","journal-title":"CoRR"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264074"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000045316.66276.6e"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887288"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461344"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2613933"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2015.7363666"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2573598"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1331331.1331339"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3121427"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.81"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837288"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630132"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9155-z"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2779456"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2301795"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2517570"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3243478"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/71.774906"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00018"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/70.143350"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715153.pdf?arnumber=8715153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T19:50:21Z","timestamp":1559591421000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":30,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715153","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}