{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:06:38Z","timestamp":1725656798713},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/cacsd.2013.6663476","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T21:54:11Z","timestamp":1385589251000},"page":"19-24","source":"Crossref","is-referenced-by-count":3,"title":["Scalable model-checking for precise end-to-end latency computation"],"prefix":"10.1109","author":[{"given":"Swarup","family":"Mohalik","sequence":"first","affiliation":[]},{"given":"Devesh B.","family":"Chokshi","sequence":"additional","affiliation":[]},{"given":"Manoj G.","family":"Dixit","sequence":"additional","affiliation":[]},{"given":"A. C.","family":"Rajeev","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"17","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/1879021.1879039","article-title":"Schedulability and end-to-end latency: Formal modeling and precise estimation","author":"rajeev","year":"2010","journal-title":"EMSOFT"},{"key":"22","first-page":"93","article-title":"Synthesis of task and message activation models in realtime distributed automotive systems","author":"zheng","year":"2007","journal-title":"DATE"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176463"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879038"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1142980.1142984"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391544"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.46"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"journal-title":"Promela","year":"0","key":"3"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2032067"},{"key":"20","article-title":"Design space exploration of automotive platforms in Metropolis","author":"zeng","year":"0","journal-title":"SAE Congress 2006"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11596356_24"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1145\/1278480.1278553","article-title":"period optimization for hard real-time distributed automotive systems","author":"davare","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289964"},{"year":"0","key":"4"},{"key":"9","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":"CRTS"},{"key":"8","first-page":"199","article-title":"Modeling and verification of a fault-tolerant real-time startup protocol using Calendar Automata","author":"dutertre","year":"2004","journal-title":"FORMATS\/FTRTFT"}],"event":{"name":"2013 IEEE Conference on Computer Aided Control System Design (CACSD)","start":{"date-parts":[[2013,8,28]]},"location":"Hyderabad, India","end":{"date-parts":[[2013,8,30]]}},"container-title":["2013 IEEE Conference on Computer Aided Control System Design (CACSD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648483\/6663471\/06663476.pdf?arnumber=6663476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T05:26:09Z","timestamp":1564896369000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6663476\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cacsd.2013.6663476","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}