{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:00:00Z","timestamp":1725552000481},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122606"},{"type":"electronic","value":"9783642122613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12261-3_7","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T10:28:06Z","timestamp":1270636086000},"page":"63-67","source":"Crossref","is-referenced-by-count":1,"title":["Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Van Baelen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ileana","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huascar","family":"Espinoza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Van Baelen, S., Weigert, T., Ober, I., Espinoza, H. (eds.): Second International Workshop on Model Based Architecting and Construction of Embedded Systems. CEUR Workshop Proceedings, Aachen, Germany. CEUR, vol.\u00a0507 (2009)"},{"key":"7_CR2","unstructured":"Di Natale, M.: Semantics preservation issues in the design and optimization of SW architectures for automotive systems. In: [1], p. 9"},{"key":"7_CR3","unstructured":"Cancila, D., Terrier, F., Belmonte, F., Dubois, H., Espinoza, H., G\u00e9rard, S., Cuccuru, A.: SOPHIA: a modeling language for model-based safety engineering. In: [1], pp. 11\u201325"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Eyisi, E., Porter, J., Hall, J., Kottenstette, N., Koutsoukos, X., Sztipanovits, J.: PaNeCS: A modeling language for passivity-based design of networked control systems. In: [1], pp. 27\u201341","DOI":"10.1109\/MED.2011.5983185"},{"key":"7_CR5","unstructured":"Angelov, C., Sierszecki, K., Guo, Y.: Formal design models for distributed embedded control systems. In: [1], pp. 43\u201357"},{"key":"7_CR6","unstructured":"Tan, L., Wachter, B., Lucas, P., Wilhelm, R.: Improving timing analysis for Matlab Simulink\/Stateflow. In: [1], pp. 59\u201363"},{"key":"7_CR7","unstructured":"Chkouri, M.Y., Bozga, M.: Prototyping of distributed embedded systems using AADL. In: [1], pp. 65\u201379"},{"key":"7_CR8","unstructured":"Langsweirdt, D., Vandewoude, Y., Berbers, Y.: Towards intelligent tool-support for AADL based modeling of embedded systems. In: [1], pp. 81\u201385"},{"key":"7_CR9","unstructured":"Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Model-based codesign of critical embedded systems. In: [1], pp. 87\u201391"},{"key":"7_CR10","unstructured":"Ersfolk, J., Lilius, J., Muurinen, J., Salom\u00e4ki, A., Fors, N., Nylund, J.: Design complexity management in embedded system design. In: [1], pp. 93\u2013106"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Botterweck, G., Polzer, A., Kowalewski, S.: Using higher-order transformations to derive variability mechanisms for embedded systems. In: [1], pp. 107\u2013121","DOI":"10.1007\/978-3-642-12261-3_8"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Becker, B., Giese, H., Neumann, S., Schenck, M., Treffer, A.: Model-based extension of AUTOSAR for architectural online reconfiguration. In: [1], pp. 123\u2013137","DOI":"10.1007\/978-3-642-12261-3_9"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12261-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T08:50:27Z","timestamp":1552467027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12261-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122606","9783642122613"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12261-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}