{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:39Z","timestamp":1761611319393},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457077","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:33Z","timestamp":1361279793000},"page":"1649-1652","source":"Crossref","is-referenced-by-count":3,"title":["Taming the component timing: A CBD methodology for real-time embedded systems"],"prefix":"10.1109","author":[{"given":"Manoj G","family":"Dixit","sequence":"first","affiliation":[]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[]},{"given":"S","family":"Ramesh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"journal-title":"Yices An SMT Solver","year":"0","key":"ref11"},{"journal-title":"MINTO - Mixed INTeger Optimizer","year":"0","key":"ref12"},{"year":"0","key":"ref13"},{"journal-title":"Symbolic Model Checker","year":"0","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6254-4_16"},{"journal-title":"Adaptive Cruise Control (ACC) Operating Characteristics and User Interface SAE J2399","year":"2003","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"Model Checking based Analysis of End-to-end Latency in Embedded Real-time Systems with Clock Drifts DAC","year":"2008","author":"mohalik","key":"ref5"},{"journal-title":"Evaluating MARTE in an Industry-Driven Environment TIMMO's Challenges for AUTOSAR Timing Modeling","year":"2008","author":"espinoza","key":"ref8"},{"journal-title":"Automotive Software Integration DAC","year":"2007","author":"racu","key":"ref7"},{"journal-title":"Software Engineering A Practitioner's Approach","year":"2005","author":"pressman","key":"ref2"},{"journal-title":"AUTOSAR Consortium","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/377978.377990"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457077.pdf?arnumber=5457077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:14:24Z","timestamp":1489875264000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457077\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457077","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}