{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:47:02Z","timestamp":1743007622351,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_37","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"447-464","source":"Crossref","is-referenced-by-count":4,"title":["Modeling and Optimizing Automotive Electric\/Electronic (E\/E) Architectures: Towards Making Clafer Accessible to Practitioners"],"prefix":"10.1007","author":[{"given":"Eldar","family":"Khalilov","sequence":"first","affiliation":[]},{"given":"Jordan","family":"Ross","sequence":"additional","affiliation":[]},{"given":"Micha\u0142","family":"Antkiewicz","sequence":"additional","affiliation":[]},{"given":"Markus","family":"V\u00f6lter","sequence":"additional","affiliation":[]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"B\u0105k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., W\u0105sowski, A.: Clafer: unifying class and feature modeling. Soft. Syst. Model. 1\u201335 (2014)","DOI":"10.1007\/s10270-014-0441-1"},{"issue":"5","key":"37_CR2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MS.2014.103","volume":"32","author":"M Voelter","year":"2015","unstructured":"Voelter, M., Warmer, J., Kolb, B.: Projecting a modular future. IEEE Softw. 32(5), 46\u201352 (2015)","journal-title":"IEEE Softw."},{"key":"37_CR3","unstructured":"Ross, J.: Case studies on E\/E architectures for power window and central door locks systems, May 2016. http:\/\/gsd.uwaterloo.ca\/node\/667"},{"key":"37_CR4","unstructured":"EAST-ADL Association: EAST-ADL domain model specification, version V2.1.12. http:\/\/east-adl.info\/Specification\/V2.1.12\/EAST-ADL-Specification_V2.1.12.pdf"},{"key":"37_CR5","unstructured":"Murashkin, A.: Automotive electronic\/electric architecture modeling, design exploration and optimization using Clafer. Master\u2019s thesis, University of Waterloo (2014). https:\/\/uwspace.uwaterloo.ca\/handle\/10012\/8780"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., B\u0105k, K., Murashkin, A., Olaechea, R., Liang, J., Czarnecki, K.: Clafer tools for product line engineering. In: SPLC (2013)","DOI":"10.1145\/2499777.2499779"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: SPLC (2013)","DOI":"10.1145\/2491627.2491647"},{"key":"37_CR8","unstructured":"Khalilov, E., Voelter, M., Antkiewicz, M.: ClaferMPS source code repository. https:\/\/github.com\/gsdlab\/claferMPS\/ . Accessed 2 May 2016"},{"key":"37_CR9","unstructured":"Fowler, M.: Language Workbenches: Killer-App for DSLs? ThoughtWorks (2005). http:\/\/www.martinfowler.com\/articles\/languageWorkbench.html"},{"key":"37_CR10","unstructured":"Voelter, M., Lisson, S.: Supporting diverse notations in MPS\u2019 projectional editor. In: GEMOC Workshop"},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-35992-7_11","volume-title":"Generative and Transformational Techniques in Software Engineering IV","author":"M Voelter","year":"2013","unstructured":"Voelter, M.: Language and IDE modularization and composition with MPS. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol. 7680, pp. 383\u2013430. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35992-7_11"},{"issue":"3","key":"37_CR12","first-page":"339","volume":"20","author":"M Voelter","year":"2013","unstructured":"Voelter, M., Ratiu, D., Kolb, B., Schaetz, B.: mbeddr: instantiating a language workbench in the embedded software domain. ASE 20(3), 339\u2013390 (2013)","journal-title":"ASE"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"Khalilov, E., Ross, J.: Supplemental material for the paper \u2018modeling and optimizing automotive electric\/electronic (E\/E) architectures: towards making Clafer accessible to practitioners\u2019, May 2016. http:\/\/gsd.uwaterloo.ca\/node\/668","DOI":"10.1007\/978-3-319-47169-3_37"},{"issue":"5","key":"37_CR14","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1109\/TSE.2012.64","volume":"39","author":"A Aleti","year":"2013","unstructured":"Aleti, A., Buhnova, B., Grunske, L., Koziolek, A., Meedeniya, I.: Software architecture optimization methods: a systematic literature review. IEEE Trans. Softw. Eng. 39(5), 658\u2013683 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"37_CR15","unstructured":"Voss, S., Eder, J., Schaetz, B. (eds.): Scheduling Synthesis for Multi-Period SW Components"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"Gla\u00df, M., Lukasiewycz, M., Wanka, R., Haubelt, C., Teich, J.: Multi-objective routing and topology optimization in networked embedded systems. In: SAMOS, pp. 74\u201381 (2008)","DOI":"10.1109\/ICSAMOS.2008.4664849"},{"issue":"11","key":"37_CR17","doi-asserted-by":"crossref","first-page":"1730","DOI":"10.1109\/TCAD.2015.2448680","volume":"34","author":"CW Lin","year":"2015","unstructured":"Lin, C.W., Rao, L., Giusto, P., D\u2019Ambrosio, J., Sangiovanni-Vincentelli, A.L.: Efficient wire routing and wire sizing for weight minimization of automotive systems. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 34(11), 1730\u20131741 (2015)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Biondi, A., Di Natale, M., Sun, Y.: Moving from single-core to multicore: initial findings on a fuel injection case study. Technical report, SAE Technical Paper (2016)","DOI":"10.4271\/2016-01-0017"},{"key":"37_CR19","volume-title":"Iterative Design Space Exploration and Robustness Optimization for Embedded Systems","author":"A Hamann","year":"2008","unstructured":"Hamann, A.: Iterative Design Space Exploration and Robustness Optimization for Embedded Systems. Cuvillier, G\u00f6ttingen (2008)"},{"key":"37_CR20","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1016\/j.sysarc.2007.01.005","volume":"53","author":"T Streichert","year":"2007","unstructured":"Streichert, T., Gla\u00df, M., Haubelt, C., Teich, J.: Design space exploration of reliable networked embedded systems. J. Syst. Archit. 53, 751\u2013763 (2007)","journal-title":"J. Syst. Archit."},{"key":"37_CR21","unstructured":"Aravantinos, V., Voss, S., Teufl, S., H\u00f6lzl, F., Sch\u00e4tz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: ACES-MB 2015, p. 19 (2015)"},{"key":"37_CR22","unstructured":"Software Engineering Institute: OSATE, version 2. http:\/\/osate.github.io\/"},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"Sch\u00e4uffele, J.: E\/E architectural design and optimization using PREEvision. Technical report, SAE Technical Paper (2016)","DOI":"10.4271\/2016-01-0016"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:09:25Z","timestamp":1568434165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}