{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:13:50Z","timestamp":1760044430781},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638432","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"444-447","source":"Crossref","is-referenced-by-count":3,"title":["Verification and analysis of dependable automotive communication systems based on HW\/SW co-simulation"],"prefix":"10.1109","author":[{"given":"Michael","family":"Karner","sequence":"first","affiliation":[]},{"given":"Christian","family":"Steger","sequence":"additional","affiliation":[]},{"given":"Reinhold","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Armengaud","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Watzenig","sequence":"additional","affiliation":[]},{"given":"Gernot","family":"Knoll","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"year":"2007","key":"2"},{"year":"2007","journal-title":"NXP FlexRay network simulations Safeguard the operation of your FlexRay network architectures","article-title":"the netherlands","key":"10"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/SIES.2008.4577712"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/JPROC.2002.805821"},{"year":"2005","author":"kajtazovic","journal-title":"Automatic Generation of a Verification Platform for Heterogeneous System Designs","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/BMAS.2005.1518193"},{"year":"0","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/PRDC.2007.11"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/DATE.2007.364638"},{"key":"11","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1145\/127601.127762","article-title":"Efficient transient simulation of lossy interconnect","author":"roychowdhury","year":"1991","journal-title":"28th ACM\/IEEE Design Automation Conference DAC"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638432.pdf?arnumber=4638432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:21:58Z","timestamp":1497774118000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638432\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638432","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}