{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:42:44Z","timestamp":1725532964450},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953678","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:50:22Z","timestamp":1311180622000},"page":"51-54","source":"Crossref","is-referenced-by-count":4,"title":["Improving model-based verification of embedded systems by analyzing component dependences"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Siegl","sequence":"first","affiliation":[]},{"given":"Philipp","family":"Caliebe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Metrics and Models in Software Quality Engineering","year":"2007","author":"kan","key":"ref10"},{"journal-title":"A Time\/Structure Based Model for Estimating Software Reliability","year":"1992","author":"chen","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59449-3_36"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/52.382180"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.2002.1011325"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763028"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250106"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2005.663"},{"key":"ref4","first-page":"2601","article-title":"Test Methods of the AUTOSAR Application Software Components","author":"park","year":"2009","journal-title":"ICCAS-SICE 2009"},{"journal-title":"Road Vehicles - Functional Safety Working Draft","article-title":"International Organization for Standardization., ISO\/DIS 26262 (2010)","year":"2010","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00241-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1996.492451"},{"key":"ref8","first-page":"126","author":"spillner","year":"2007","journal-title":"Software Testing Foundations"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/0471722324"},{"journal-title":"AUTOSAR 4 0","year":"2010","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2010.5482341"},{"journal-title":"Effective test metrics for test strategy evolution ser CASCON '04","year":"2004","author":"chen","key":"ref9"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953678.pdf?arnumber=5953678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:03:03Z","timestamp":1490083383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5953678\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953678","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}