{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:24Z","timestamp":1750308204476,"version":"3.41.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927248","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T20:34:41Z","timestamp":1494880481000},"page":"1611-1614","source":"Crossref","is-referenced-by-count":0,"title":["Contract-based integration of automotive control software"],"prefix":"10.23919","author":[{"given":"Tobias","family":"Sehnke","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Schultalbers","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22975-1_18"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4271\/2015-01-0168"},{"journal-title":"Nonuniform Sampling Theory and Practice","year":"2012","author":"marvasti","key":"ref14"},{"key":"ref15","first-page":"200","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2007","journal-title":"Int Symposium on Formal Methods for Components and Objects"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S1566-2535(03)00037-X"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-178-0"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.25080\/TCWV9851","article-title":"Exploring network structure, dynamics, and function using NetworkX","author":"hagberg","year":"2008","journal-title":"Proceedings of the 7th Python in Science Conference (SciPy2008)"},{"key":"ref19","article-title":"A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics","author":"feiertag","year":"2008","journal-title":"Proceedings of the Workshop on Compositional Theory and Technology for Real-Time Embedded Systems"},{"journal-title":"Specification of timing extensions v2 1 1 (r4 1)","year":"2014","key":"ref4"},{"key":"ref3","article-title":"The timmo-2-use project: time modeling and analysis to use","author":"peraldi-frati","year":"2012","journal-title":"Embedded Real Time Software and Systems Congress ERTS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2015.7341359"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2219540"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2035462"},{"journal-title":"Robust Scheduling of Real-Time Applications on Efficient Embedded Multicore Systems","year":"2011","author":"deubzer","key":"ref9"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927248.pdf?arnumber=7927248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:27:45Z","timestamp":1750264065000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927248\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927248","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}