{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T12:04:51Z","timestamp":1762603491705},"reference-count":18,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2003.1186670","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T12:34:10Z","timestamp":1072096450000},"page":"45-50","source":"Crossref","is-referenced-by-count":2,"title":["Formal methods for integration of automotive software"],"prefix":"10.1109","author":[{"given":"M.","family":"Jersak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.-C.","family":"Braam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zheng-Yu Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1007\/978-1-4757-3649-6"},{"key":"18","article-title":"Segment-wise timing and power measurement in software emulation","author":"wolf","year":"2001","journal-title":"Proc IEEE\/ACM Design Automation and Test in Europe Conf"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/12.57058"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/DATE.2003.1253676"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/DATE.2002.998348"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/DAC.2002.1012637"},{"year":"2001","journal-title":"OIL OSEK Implementation Language","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/774827.774828"},{"year":"0","journal-title":"ESCAPE Reference Guide","key":"3"},{"year":"0","journal-title":"ERCOSEK Automotive Real-Time Operating System","key":"2"},{"year":"2002","author":"buttazzo","journal-title":"Real-Time Computing Systems-Predictable Scheduling Algorithms and Applications","key":"1"},{"year":"0","author":"inc","journal-title":"Realogy Real-Time Architect Overview","key":"10"},{"key":"7","article-title":"Programming in the osek\/vdx environment","author":"lemieux","year":"2001","journal-title":"CMP Books"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/774789.774815"},{"year":"1998","journal-title":"Technical Report ISO IEC","key":"5"},{"key":"4","first-page":"131","article-title":"Efficient and precise cache behavior prediction for real-Time systems","author":"ferdinand","year":"1999","journal-title":"Journal of Real-time Systems Special Issue on Timing Analysis and Validation for Real-Time Systems"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/321738.321743"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/978-1-4615-5131-7"}],"event":{"acronym":"DATE-03","name":"6th Design Automation and Test in Europe (DATE 03)","location":"Munich, Germany"},"container-title":["2003 Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8443\/26600\/01186670.pdf?arnumber=1186670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:42:33Z","timestamp":1489441353000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1186670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/date.2003.1186670","relation":{},"subject":[]}}