{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T13:35:22Z","timestamp":1760016922419,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/date.2012.6176607","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:29Z","timestamp":1361297789000},"page":"820-823","source":"Crossref","is-referenced-by-count":0,"title":["Automatic transition between structural system views in a safety relevant embedded systems development process"],"prefix":"10.1109","author":[{"given":"C.","family":"Ellen","sequence":"first","affiliation":[]},{"given":"C.","family":"Etzien","sequence":"additional","affiliation":[]},{"given":"M.","family":"Oertel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878986"},{"key":"2","first-page":"43","article-title":"Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis","author":"gla\ufffd","year":"2009","journal-title":"DAC"},{"journal-title":"ISO\/WD26262 Road Vehicles - Functional Safety","year":"2009","key":"1"},{"key":"7","first-page":"825","article-title":"Satisfiability Modulo Theories","volume":"185","author":"barrett","year":"2009","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"journal-title":"RE Language Definitions to Formalize Multi-criteria Requirements V2","year":"2010","author":"mitschke","key":"6"},{"journal-title":"SPES2020 Architecture Modeling","year":"2011","author":"damm","key":"5"},{"journal-title":"CESAR Project","year":"2009","key":"4"},{"key":"8","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"fra?nzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"}],"event":{"name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)","start":{"date-parts":[[2012,3,12]]},"location":"Dresden","end":{"date-parts":[[2012,3,16]]}},"container-title":["2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6171057\/6176405\/06176607.pdf?arnumber=6176607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,22]],"date-time":"2020-07-22T14:04:06Z","timestamp":1595426646000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6176607\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/date.2012.6176607","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}