{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:08:17Z","timestamp":1725674897930},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642296444"},{"type":"electronic","value":"9783642296451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29645-1_25","type":"book-chapter","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T07:56:43Z","timestamp":1334217403000},"page":"257-261","source":"Crossref","is-referenced-by-count":0,"title":["Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Van Baelen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ileana","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Weigert","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":"25_CR1","series-title":"CEUR Workshop Proceedings","volume-title":"Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems","year":"2011","unstructured":"Van Baelen, S., G\u00e9rard, S., Ober, I., Weigert, T., Espinoza, H., Ober, I. (eds.): Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems. CEUR Workshop Proceedings, vol.\u00a0795. CEUR, Aachen (2011)"},{"key":"25_CR2","unstructured":"Gomaa, H.: Towards integrated system and software modeling for embedded systems. In: [1], pp. 9\u201322"},{"key":"25_CR3","unstructured":"Slomka, F., Kollmann, S., Moser, S., Kempf, K.: A multidisciplinary design methodology for cyber-physical systems. In: [1], pp. 23\u201337"},{"key":"25_CR4","unstructured":"Sackmann, M., Ebraert, P., Janssens, D.: A model-driven approach for software parallelization. In: [1], pp. 39\u201353"},{"key":"25_CR5","unstructured":"Weber, R., Gezgin, T., Girod, M.: A refinement checking technique for contract-based architecture designs. In: [1], pp. 55\u201369"},{"key":"25_CR6","unstructured":"Adler, N., Graff, P., M\u00fcller-Glaser, K.D.: Model-based consistency checks of electric and electronic architectures against requirements. In: [1], pp. 71\u201383"},{"key":"25_CR7","unstructured":"Pettit IV, R.G., Gomaa, H., Fant, J.S.: Modeling and prototyping of real-time embedded software architectural designs with colored petri nets. In: [1], 85\u201398"}],"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-29645-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:31:59Z","timestamp":1556670719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29645-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642296444","9783642296451"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29645-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}