{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T10:00:43Z","timestamp":1775296843866,"version":"3.50.1"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030047702","type":"print"},{"value":"9783030047719","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_36","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"506-511","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Zimmermann","sequence":"first","affiliation":[]},{"given":"Ralf H.","family":"Reussner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"36_CR1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-642-14819-4_15","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"C Atkinson","year":"2010","unstructured":"Atkinson, C., Stoll, D., Bostan, P.: Orthographic software modeling: a practical approach to view-based development. In: Maciaszek, L.A., Gonz\u00e1lez-P\u00e9rez, C., Jablonski, S. (eds.) ENASE 2008. CCIS, vol. 69, pp. 206\u2013219. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14819-4_15"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in automotive software engineering. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 33\u201342. ACM, New York (2006)","DOI":"10.1145\/1134285.1134292"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Burger, E.J.: Flexible views for view-based model-driven development. In: Proceedings of the 18th International Doctoral Symposium on Components and Architecture, WCOP 2013, pp. 25\u201330. ACM, New York (2013)","DOI":"10.1145\/2465498.2465501"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-24485-8_22","volume-title":"Model Driven Engineering Languages and Systems","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304\u2013318. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_22"},{"key":"36_CR5","unstructured":"Kramer, M.E.: Specification languages for preserving consistency between models of different languages. Ph.D. thesis, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany (2017)"},{"issue":"2","key":"36_CR6","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/j.jss.2012.09.037","volume":"86","author":"P Langer","year":"2013","unstructured":"Langer, P., et al.: A posteriori operation detection in evolving software models. J. Syst. Softw. 86(2), 551\u2013566 (2013)","journal-title":"J. Syst. Softw."},{"key":"36_CR7","unstructured":"Neema, H., et al.: Design space exploration and manipulation for cyber physical systems. In: IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL 2014). Springer, Berlin (2014)"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Schmidt, M., Gloetzner, T.: Constructing difference tools for models using the SiDiff framework. In: Companion of the 30th International Conference on Software Engineering, ICSE Companion 2008, pp. 947\u2013948, ACM, New York (2008)","DOI":"10.1145\/1370175.1370201"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Stephan, M., Cordy, J.R.: A survey of model comparison approaches and applications. In: Modelsward, pp. 265\u2013277 (2013)","DOI":"10.5220\/0004311102650277"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T09:26:03Z","timestamp":1775294763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}