{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T04:08:50Z","timestamp":1730261330876,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/idt.2014.7038612","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T15:01:34Z","timestamp":1424185294000},"page":"193-198","source":"Crossref","is-referenced-by-count":2,"title":["Formal verification of AUTOSAR FlexRay state manager"],"prefix":"10.1109","author":[{"given":"Ghada","family":"Bahig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amr","family":"El-Kadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashraf","family":"Salem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/581404.581406"},{"year":"0","key":"16"},{"key":"13","article-title":"Automation test method for automotive embedded software based on autosar software engineering advances","volume":"9","author":"moon","year":"2009","journal-title":"ICSEA"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2013.6601381"},{"key":"11","article-title":"Incorporation of autosar in an embedded systems dev elopment process: A case study","author":"hermans","year":"2011","journal-title":"Software Engineering and Advanced Applications (SEAA"},{"key":"12","article-title":"Zhao guifan,basic concepts on autosar development","author":"bo","year":"2010","journal-title":"Intelligent Computation Technology and Automation (ICICTA"},{"year":"0","key":"3"},{"journal-title":"From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain Software Testing Verification and Validation (ICST","year":"2012","author":"mews","key":"2"},{"key":"1","article-title":"Test methods of the autosar application software components","author":"park","year":"2009","journal-title":"ICCAS-SICE"},{"year":"0","key":"10"},{"year":"0","key":"7"},{"key":"6","article-title":"Survey of traceability approaches in model-driven engineering","author":"enschede","year":"2007","journal-title":"Enterprise Distributed Object Computing Conference 2007 EDOC 2007 11th IEEE International"},{"key":"5","article-title":"The state of practice in model-driven engineering","volume":"pp","author":"whittle","year":"2013","journal-title":"Software IEEE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2013.129"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2014 9th International Design & Test Symposium (IDT)","start":{"date-parts":[[2014,12,16]]},"location":"Algeries, Algeria","end":{"date-parts":[[2014,12,18]]}},"container-title":["2014 9th International Design and Test Symposium (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7021862\/7038563\/07038612.pdf?arnumber=7038612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T23:27:16Z","timestamp":1490311636000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7038612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/idt.2014.7038612","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}