{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:36:45Z","timestamp":1729661805115,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953681","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:50:22Z","timestamp":1311180622000},"page":"63-66","source":"Crossref","is-referenced-by-count":4,"title":["Generation of correct-by-construction code from design models for embedded systems"],"prefix":"10.1109","author":[{"given":"Federico","family":"Ciccozzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Cicchetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikael","family":"Krekola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikael","family":"Sjodin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"427","article-title":"From COLA Models to Distributed Embedded Systems Code","volume":"35","author":"haberl","year":"2008","journal-title":"IAENG International Journal of Computer Science"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618349"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549590"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72901-3_11"},{"journal-title":"Query\/View\/Transformation V1 0","year":"2008","key":"ref14"},{"journal-title":"Action Language for FoundationalUML-ALF","year":"2010","key":"ref15"},{"journal-title":"RTLinuxFree Official Website","year":"2011","key":"ref16"},{"journal-title":"EMF Eclipse Modeling Framework","year":"2009","author":"steinberg","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090662"},{"key":"ref4","first-page":"181","article-title":"Toward correctness in the specification and handling of nf attributes of high-integrity real-time embedded systems","volume":"6","author":"cancila","year":"2010","journal-title":"IEEE TII"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.19"},{"key":"ref6","article-title":"Classification of model transformation approaches","author":"czarnecki","year":"0","journal-title":"OOPSLA03 Workshop on Generative Techniques in the Context of Model-Driven Architecture"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2011.39"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2010.5536628"},{"journal-title":"Multicore Real-Time Operating System (RTOS)","year":"2011","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","article-title":"On the Unification Power of Models","volume":"4","author":"b\u00e9zivin","year":"2005","journal-title":"Software and System Modeling"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.36"},{"year":"2011","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.32"},{"journal-title":"Xpand Model-to-Text Eclipse Project","year":"2011","key":"ref21"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953681.pdf?arnumber=5953681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T23:25:34Z","timestamp":1497914734000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953681\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953681","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}