{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:30:35Z","timestamp":1755221435865,"version":"3.43.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2013,6,1]],"date-time":"2013-06-01T00:00:00Z","timestamp":1370044800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2013,6,1]],"date-time":"2013-06-01T00:00:00Z","timestamp":1370044800000},"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":[[2013,6]]},"DOI":"10.1109\/sies.2013.6601485","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T18:04:23Z","timestamp":1380132263000},"page":"130-139","source":"Crossref","is-referenced-by-count":7,"title":["Real-time scheduling interfaces and contracts for the design of distributed embedded systems"],"prefix":"10.1109","author":[{"given":"Ingo","family":"Stierand","sequence":"first","affiliation":[{"name":"University of Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Reinkemeier","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayfun","family":"Gezgin","sequence":"additional","affiliation":[{"name":"OFFIS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Purandar","family":"Bhaduri","sequence":"additional","affiliation":[{"name":"IIT Guwahati, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"journal-title":"Compositional scheduling analysis using standard event models","year":"2005","author":"richter","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193230"},{"key":"15","first-page":"129","author":"moore","year":"1956","journal-title":"Gedanken-experiments on Sequential Machines"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289959"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-6883-y"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/92.931229"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000045315.61234.1e"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365407"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086246"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.23"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"},{"key":"3","article-title":"TIMES: A tool for schedulability analysis and code generation of real-time systems","author":"amnell","year":"2003","journal-title":"Proc FORMATS'03"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450080"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"journal-title":"Model-Based Design for Embedded Systems Chapter Model-based Framework for Schedulability Analysis Using Uppaal 4","year":"2009","author":"david","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457163"},{"key":"4","article-title":"Contracts for systems design. 2013","author":"benveniste","year":"2012","journal-title":"INRIA Research Report No 8147"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"8","first-page":"148","article-title":"Interface theories for component-based design","author":"de alfaro","year":"2001","journal-title":"Proceedings of the First International Workshop on Embedded Software EMSOFT'01"}],"event":{"name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2013,6,19]]},"location":"Porto, Portugal","end":{"date-parts":[[2013,6,21]]}},"container-title":["2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589042\/6601457\/06601485.pdf?arnumber=6601485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T18:29:58Z","timestamp":1754677798000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6601485\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/sies.2013.6601485","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}