{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T14:48:45Z","timestamp":1773758925296,"version":"3.50.1"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s00287-025-01592-4","type":"journal-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T11:45:28Z","timestamp":1771501528000},"page":"128-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Komplexit\u00e4tsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung"],"prefix":"10.1007","volume":"48","author":[{"given":"Tiziano","family":"Munaro","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Schweiger","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[]},{"given":"Johannes","family":"Eder","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Barner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,19]]},"reference":[{"key":"1592_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-662-64823-0_8","volume-title":"Avionik und Flugsicherungstechnik","author":"H Fl\u00fchr","year":"2022","unstructured":"Fl\u00fchr\u00a0H (2022) Avionik-Busse.  In: Avionik und Flugsicherungstechnik. Springer Berlin Heidelberg, Berlin, Heidelberg, S\u00a0237\u2013256. https:\/\/doi.org\/10.1007\/978-3-662-64823-0_8"},{"key":"1592_CR2","volume-title":"Distributed Systems","author":"M van Steen","year":"2023","unstructured":"van Steen\u00a0M, Tanenbaum\u00a0AS (2023) Distributed Systems, 4. Aufl. (https:\/\/www.distributed-systems.net\/)","edition":"4"},{"key":"1592_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-67317-1","volume-title":"Logische und Methodische Grundlagen der Entwicklung verteilter Systeme","author":"M Broy","year":"2023","unstructured":"Broy\u00a0M (2023) Logische und Methodische Grundlagen der Entwicklung verteilter Systeme. Springer Vieweg, Berlin, Heidelberg https:\/\/doi.org\/10.1007\/978-3-662-67317-1"},{"key":"1592_CR4","volume-title":"EUROCAE ED-135 | Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment","author":"European Organisation for Civil Aviation Equipment","year":"2023","unstructured":"European Organisation for Civil Aviation Equipment (2023) EUROCAE ED-135 | Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. https:\/\/www.eurocae.net\/product\/ed-135-guidelines-and-methods-for-conducting-the-safety-assessment-process-on-civil-airborne-systems-and-equipment\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR5","volume-title":"EUROCAE ED-79A | Guidelines for Development of Civil Aircraft and Systems","author":"European Organisation for Civil Aviation Equipment","year":"2010","unstructured":"European Organisation for Civil Aviation Equipment (2010) EUROCAE ED-79A | Guidelines for Development of Civil Aircraft and Systems. https:\/\/www.eurocae.net\/product\/ed-79a-guidelines-for-development-of-civil-aircraft-and-systems\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR6","doi-asserted-by":"publisher","DOI":"10.1201\/9781315218168","volume-title":"Developing Safety-Critical Software","author":"L Rierson","year":"2013","unstructured":"Rierson\u00a0L (2013) Developing Safety-Critical Software. CRC Press, Boca Raton, London, New York\u00a0https:\/\/doi.org\/10.1201\/9781315218168"},{"key":"1592_CR7","volume-title":"(2012) EUROCAE ED-12C | Software considerations in airborne systems and equipment certification","author":"European Organisation for Civil Aviation Equipment","year":"2012","unstructured":"European Organisation for Civil Aviation Equipment (2012) EUROCAE ED-12C | Software considerations in airborne systems and equipment certification. https:\/\/www.eurocae.net\/product\/ed-12c-software-considerations-in-airborne-systems-and-equipment-certification\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR8","volume-title":"EUROCAE ED-215 | Software tool qualification considerations","author":"European Organisation for Civil Aviation Equipment","year":"2012","unstructured":"European Organisation for Civil Aviation Equipment (2012) EUROCAE ED-215 | Software tool qualification considerations. https:\/\/www.eurocae.net\/product\/ed-215-software-tool-qualification-considerations\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR9","volume-title":"ARINC 653 Avionics Application Software Standard Interface","author":"Airlines Electronic Committee","year":"2021","unstructured":"Airlines Electronic Committee (2021) ARINC 653 Avionics Application Software Standard Interface. https:\/\/www.sae.org\/standards\/content\/arinc653p0-3\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-11992-7","volume-title":"Real-Time Systems","author":"H Kopetz","year":"2022","unstructured":"Kopetz\u00a0H, Steiner\u00a0W (2022) Real-Time Systems, 3.\u00a0Aufl. Springer, Cham https:\/\/doi.org\/10.1007\/978-3-031-11992-7","edition":"3"},{"issue":"2","key":"1592_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1147\/sj.132.0115","volume":"13","author":"WP Stevens","year":"1974","unstructured":"Stevens\u00a0WP, Myers\u00a0GJ, Constantine\u00a0LL (1974) Structured design. IBM Syst\u00a0J 13(2):115\u2013139. https:\/\/doi.org\/10.1147\/sj.132.0115","journal-title":"IBM Syst J"},{"key":"1592_CR12","volume-title":"Structured Design: Fundamentals of a\u00a0Discipline of Computer Program and Systems Design","author":"E Yourdon","year":"1975","unstructured":"Yourdon\u00a0E, Constantine\u00a0LL (1975) Structured Design: Fundamentals of a\u00a0Discipline of Computer Program and Systems Design. Yourdon\u00a0Press, New York, N.Y., USA"},{"key":"1592_CR13","volume-title":"The Practical Guide to Structured Systems Design","author":"M Page-Jones","year":"1980","unstructured":"Page-Jones\u00a0M (1980) The Practical Guide to Structured Systems Design. Yourdon Press, New York, NY, USA"},{"key":"1592_CR14","volume-title":"Software Engineering: Principles and Practice","author":"H Vliet","year":"2008","unstructured":"Vliet\u00a0H (2008) Software Engineering: Principles and Practice, 3.\u00a0Aufl. Wiley, Chichester, UK","edition":"3"},{"key":"1592_CR15","volume-title":"EUROCAE ED-80 | Design assurance guidance for airborne electronic hardware","author":"European Organisation for Civil Aviation Equipment","year":"2000","unstructured":"European Organisation for Civil Aviation Equipment (2000) EUROCAE ED-80 | Design assurance guidance for airborne electronic hardware. https:\/\/www.eurocae.net\/product\/ed-80-design-assurance-guidance-for-airborne-electronic-hardware-2\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR16","volume-title":"Position Paper CAST-32A \u2013\u00a0Multi-core Processors","author":"Certification Authorities Software Team (CAST)","year":"2016","unstructured":"Certification Authorities Software Team (CAST) (2016) Position Paper CAST-32A \u2013 Multi-core Processors. https:\/\/www.cast32a.com\/files\/cast-32a.pdf. Zugegriffen: 09.07.2025"},{"key":"1592_CR17","volume-title":"EASA AMC 20-193 Use of multi-core processors","author":"European Union Aviation Safety Agency","year":"2022","unstructured":"European Union Aviation Safety Agency (2022) EASA AMC 20-193 Use of multi-core processors. https:\/\/www.easa.europa.eu\/sites\/default\/files\/dfu\/annex_i_to_ed_decision_2022-001-r_amc_20-193_use_of_multi-core_processors_mcps.pdf. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR18","volume-title":"FAA AC 20-193 \u2014 Use of Multi-Core Processors","author":"Federal Aviation Administration","year":"2024","unstructured":"Federal Aviation Administration (2024) FAA AC 20-193 \u2014 Use of Multi-Core Processors. https:\/\/www.faa.gov\/regulations_policies\/advisory_circulars\/index.cfm\/go\/document.information\/documentID\/1036408. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR19","doi-asserted-by":"publisher","DOI":"10.2514\/4.479526","volume-title":"Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration","author":"A Seabridge","year":"2008","unstructured":"Seabridge\u00a0A, Langton\u00a0R, Moir\u00a0I (2008) Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration, 3.\u00a0Aufl. Wiley https:\/\/doi.org\/10.2514\/4.479526","edition":"3"},{"key":"1592_CR20","doi-asserted-by":"publisher","DOI":"10.1201\/b17545","volume-title":"Digital Avionics Handbook","year":"2015","unstructured":"Spitzer\u00a0CR, Ferrell\u00a0U, Ferrell\u00a0T (Hrsg) (2015) Digital Avionics Handbook, 3.\u00a0Aufl. CRC Press, Boca Raton https:\/\/doi.org\/10.1201\/b17545","edition":"3"},{"issue":"9","key":"1592_CR21","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MAES.2015.150014","volume":"30","author":"T Gaska","year":"2015","unstructured":"Gaska\u00a0T, Watkin\u00a0C, Chen\u00a0Y (2015) Integrated modular avionics\u2014past, present, and future. IEEE Aerosp Electron Syst Mag 30(9):12\u201323. https:\/\/doi.org\/10.1109\/MAES.2015.150014","journal-title":"IEEE Aerosp Electron Syst Mag"},{"key":"1592_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/C2018-0-00489-2","volume-title":"The Principles of Integrated Technology in Avionics Systems","author":"G Wang","year":"2020","unstructured":"Wang\u00a0G, Zhao\u00a0W (2020) The Principles of Integrated Technology in Avionics Systems. Shanghai Jiao Tong University Press. Published by Elsevier Inc. https:\/\/doi.org\/10.1016\/C2018-0-00489-2"},{"key":"1592_CR23","volume-title":"EUROCAE ED-124 | Integrated Modular Avionics (IMA) Development, Guidance and Certification Consideration","author":"European Organisation for Civil Aviation Equipment","year":"2007","unstructured":"European Organisation for Civil Aviation Equipment (2007) EUROCAE ED-124 | Integrated Modular Avionics (IMA) Development, Guidance and Certification Consideration. https:\/\/www.eurocae.net\/product\/ed-124-integrated-modular-avionics-ima-development-guidance-and-certification-consideration\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR24","volume-title":"EUROCAE ED-94C | Supporting Information for ED-12C and ED-109A","author":"European Organisation for Civil Aviation Equipment","year":"2012","unstructured":"European Organisation for Civil Aviation Equipment (2012) EUROCAE ED-94C | Supporting Information for ED-12C and ED-109A. https:\/\/www.eurocae.net\/product\/ed-94c-supporting-information-for-ed-12c-and-ed-109a\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR25","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","volume-title":"Reducibility among Combinatorial Problems","author":"RM Karp","year":"1972","unstructured":"Karp\u00a0RM (1972) Reducibility among Combinatorial Problems. Springer US, Boston, MA, S\u00a085\u2013103. https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9"},{"key":"1592_CR26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAMOS.2008.4664849","author":"M Gla\u00df","year":"2008","unstructured":"Gla\u00df\u00a0M, Lukasiewycz\u00a0M, Wanka\u00a0R, Haubelt\u00a0C, Teich\u00a0J (2008) Multi-objective routing and topology optimization in networked embedded systems. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation. https:\/\/doi.org\/10.1109\/ICSAMOS.2008.4664849","journal-title":"International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation"},{"key":"1592_CR27","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1145\/2591062.2591068","volume-title":"Companion Proceedings of the 36th International Conference on Software Engineering","author":"L Heinemann","year":"2014","unstructured":"Heinemann\u00a0L, Hummel\u00a0B, Steidl\u00a0D (2014) Teamscale: software quality control in real-time. In: Companion Proceedings of the 36th International Conference on Software Engineering, Association for Computing Machinery, New York, NY, USA, S\u00a0592\u2013595. https:\/\/doi.org\/10.1145\/2591062.2591068"},{"key":"1592_CR28","volume-title":"OMG Systems Modeling Language","author":"Object Management Group","year":"2025","unstructured":"Object Management Group (2025) OMG Systems Modeling Language. https:\/\/www.omg.org\/sysml\/. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR29","volume-title":"Architecture Analysis & Design Language (AADL), SAE AS5506D Standard","author":"SAE International","year":"2022","unstructured":"SAE International (2022) Architecture Analysis & Design Language (AADL), SAE AS5506D Standard. https:\/\/www.sae.org\/standards\/content\/as5506d\/. Zugegriffen: 9. Juli 2025"},{"key":"1592_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48003-9","volume-title":"Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology","author":"K Pohl","year":"2016","unstructured":"Pohl\u00a0K, Broy\u00a0M, Daembkes\u00a0H, H\u00f6nninger\u00a0H (2016) Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology. Springer, Cham https:\/\/doi.org\/10.1007\/978-3-319-48003-9"},{"key":"1592_CR31","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/2906363.2906367","volume-title":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES)","author":"A Diewald","year":"2016","unstructured":"Diewald\u00a0A, Voss\u00a0S, Barner\u00a0S (2016) A lightweight design space exploration and optimization language. Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES). S\u00a0190\u2013193. https:\/\/doi.org\/10.1145\/2906363.2906367"},{"key":"1592_CR32","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656093","volume-title":"Proceedings of the 2014 International Conference on Hardware\/Software Codesign and System Synthesis (CODES)","author":"L Guo","year":"2014","unstructured":"Guo\u00a0L, Zhu\u00a0Q, Nuzzo\u00a0P, Passerone\u00a0R, Sangiovanni-Vincentelli\u00a0A, Lee\u00a0EA (2014) Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems. In: Proceedings of the 2014 International Conference on Hardware\/Software Codesign and System Synthesis (CODES). https:\/\/doi.org\/10.1145\/2656075.2656093"},{"key":"1592_CR33","volume-title":"Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II). Tech. rep\u00a0UCB\/EECS-2007-7","author":"C Brooks","year":"2007","unstructured":"Brooks\u00a0C, Lee\u00a0EA, Liu\u00a0X, Neuendorffer\u00a0S, Zhao\u00a0Y, Zheng\u00a0H (2007) Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II). Tech. rep. UCB\/EECS-2007-7,\u00a0University of California, Berkeley (http:\/\/chess.eecs.berkeley.edu\/pubs\/309.html)"},{"issue":"1s","key":"1592_CR34","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245","volume":"12","author":"A Davare","year":"2013","unstructured":"Davare\u00a0A, Densmore\u00a0D, Guo\u00a0L, Passerone\u00a0R, Sangiovanni-Vincentelli\u00a0AL, Simalatsar\u00a0A, Zhu\u00a0Q (2013) METROII: A\u00a0design environment for cyber-physical systems. ACM Trans Embed Comput Syst 12(1s):49. https:\/\/doi.org\/10.1145\/2435227.2435245","journal-title":"ACM Trans Embed Comput Syst"},{"key":"1592_CR35","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1109\/MODELS.2017.36","volume-title":"Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017","author":"J Eder","year":"2017","unstructured":"Eder\u00a0J, Zverlov\u00a0S, Voss\u00a0S, Khalil\u00a0M, Ipatiov\u00a0A (2017) Bringing DSE to life: Exploring the design space of an industrial automotive use case. In: Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, S\u00a0270\u2013280. https:\/\/doi.org\/10.1109\/MODELS.2017.36"},{"key":"1592_CR36","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-1-4615-5229-1_17","volume-title":"30 Things that Go Wrong in Object Modelling with UML 1.3","author":"AJH Simons","year":"1999","unstructured":"Simons\u00a0AJH, Graham\u00a0I (1999) 30 Things that Go Wrong in Object Modelling with UML 1.3. Springer US, Boston, MA, S\u00a0237\u2013257. https:\/\/doi.org\/10.1007\/978-1-4615-5229-1_17"},{"key":"1592_CR37","doi-asserted-by":"publisher","DOI":"10.1109\/MOMPES.2009.5069138","volume-title":"Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","author":"A Aleti","year":"2009","unstructured":"Aleti\u00a0A, Bjornander\u00a0S, Grunske\u00a0L, Meedeniya\u00a0I (2009) ArcheOpterix: An extendable tool for architecture optimization of AADL models. In: Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software. IEEE Computer Society, https:\/\/doi.org\/10.1109\/MOMPES.2009.5069138"},{"key":"1592_CR38","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1145\/2380445.2380527","volume-title":"Proceedings of the Eighth IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","author":"F Herrera","year":"2012","unstructured":"Herrera\u00a0F, Posadas\u00a0H, Pe\u00f1il\u00a0P, Villar\u00a0E, Ferrero\u00a0F, Valencia\u00a0R (2012) A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models. In: Proceedings of the Eighth IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS). S\u00a0529\u2013538 https:\/\/doi.org\/10.1145\/2380445.2380527"},{"key":"1592_CR39","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/3239372.3239385","volume-title":"Proceedings of the 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)","author":"J Eder","year":"2018","unstructured":"Eder\u00a0J, Bahya\u00a0A, Voss\u00a0S, Ipatiov\u00a0A, Khalil\u00a0M (2018) From deployment to platform exploration: Automatic synthesis of distributed automotive hardware architectures. In: Proceedings of the 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), ACM, S\u00a0438\u2013446. https:\/\/doi.org\/10.1145\/3239372.3239385"},{"key":"1592_CR40","doi-asserted-by":"publisher","first-page":"61","DOI":"10.18420\/modellierung2022ws-008","volume-title":"Modellierung 2022 Satellite Events","author":"N Regnat","year":"2022","unstructured":"Regnat\u00a0N, Gupta\u00a0R, Jansen\u00a0N, Rumpe\u00a0B (2022) Implementation of the SpesML Workbench in MagicDraw. In: Modellierung 2022 Satellite Events. Gesellschaft f\u00fcr Informatik e.\u202fV., S\u00a061\u201367. https:\/\/doi.org\/10.18420\/modellierung2022ws-008"},{"key":"1592_CR41","volume-title":"ISO\/IEC\/IEEE 42010 Software, systems and enterprise \u2014 Architecture description","author":"International Organization for Standardization","year":"2022","unstructured":"International Organization for Standardization (2022) ISO\/IEC\/IEEE 42010 Software, systems and enterprise \u2014 Architecture description. https:\/\/www.iso.org\/standard\/74393.html. Zugegriffen: 10. Juli 2025"},{"key":"1592_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems","author":"M Broy","year":"2001","unstructured":"Broy\u00a0M, St\u00f8len\u00a0K (2001) Specification and Development of Interactive Systems. Springer, New York, NY https:\/\/doi.org\/10.1007\/978-1-4613-0091-5"},{"key":"1592_CR43","first-page":"19","volume":"1508","author":"V Aravantinos","year":"2015","unstructured":"Aravantinos\u00a0V, Voss\u00a0S, Teufl\u00a0S, H\u00f6lzl\u00a0F, Sch\u00e4tz\u00a0B (2015) AutoFOCUS 3: Tooling concepts for seamless, model-based development of embedded systems. CEUR Workshop Proc 1508:19\u201326. https:\/\/ceur-ws.org\/Vol-1508\/paper4.pdf","journal-title":"CEUR Workshop Proc"},{"key":"1592_CR44","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/MODELS.2017.28","volume-title":"2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","author":"S Barner","year":"2017","unstructured":"Barner\u00a0S, Diewald\u00a0A, Migge\u00a0J, Syed\u00a0A, Fohler\u00a0G, Faug\u00e8re\u00a0M, P\u00e9rez\u00a0DG (2017) DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. In: 2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE, S\u00a0259\u2013269. https:\/\/doi.org\/10.1109\/MODELS.2017.28"},{"key":"1592_CR45","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1201\/9781351117821-4","volume-title":"Modeling and Development Process","author":"S Barner","year":"2018","unstructured":"Barner\u00a0S, Chauvel\u00a0F, Diewald\u00a0A, Eizaguirre\u00a0F, Haugen\u00a0\u00d8, Migge\u00a0J, Vasilevskiy\u00a0A (2018) Modeling and Development Process. CRC Press, S\u00a087\u2013161. https:\/\/doi.org\/10.1201\/9781351117821-4"},{"key":"1592_CR46","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1201\/9781351117821","volume-title":"Distributed Real-Time Architecture for Mixed-Criticality Systems","author":"H Ahmadian","year":"2018","unstructured":"Ahmadian\u00a0H, Obermaisser\u00a0R, Perez\u00a0J (2018) Distributed Real-Time Architecture for Mixed-Criticality Systems. CRC Press, S\u00a0508. https:\/\/doi.org\/10.1201\/9781351117821"},{"key":"1592_CR47","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Giotto: A\u00a0Time-Triggered Language for Embedded Programming","author":"TA Henzinger","year":"2001","unstructured":"Henzinger\u00a0TA, Horowitz\u00a0B, Kirsch\u00a0CM (2001) Giotto: A\u00a0Time-Triggered Language for Embedded Programming, S\u00a0166\u2013184. https:\/\/doi.org\/10.1007\/3-540-45449-7_12"},{"key":"1592_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard Real-Time Computing Systems","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo\u00a0GC (2011) Hard Real-Time Computing Systems. Springer, US https:\/\/doi.org\/10.1007\/978-1-4614-0676-1"},{"issue":"1","key":"1592_CR49","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu\u00a0CL, Layland\u00a0JW (1973) Scheduling algorithms for multiprogramming in a\u00a0hard-real-time environment. Journal of the ACM 20(1):46\u201361. https:\/\/doi.org\/10.1145\/321738.321743","journal-title":"Journal of the ACM"},{"key":"1592_CR50","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-10452-7_3","volume-title":"Satisfiability Modulo Theories: An Appetizer","author":"L de Moura","year":"2009","unstructured":"de Moura\u00a0L, Bj\u00f8rner\u00a0N (2009) Satisfiability Modulo Theories: An Appetizer. In:  Formal Methods: Foundations and Applications (SBMF). Springer, Berlin, Heidelberg, S\u00a023\u201336. https:\/\/doi.org\/10.1007\/978-3-642-10452-7_3"},{"key":"1592_CR51","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Z3: An Efficient SMT Solver, in 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura\u00a0L, Bj\u00f8rner\u00a0N (2008) Z3: An Efficient SMT Solver, in 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, S\u00a0337\u2013340. https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"1592_CR52","volume-title":"The SMT-LIB Standard: Version 2.0","author":"C Barrett","year":"2010","unstructured":"Barrett\u00a0C, Stump\u00a0A, Tinelli\u00a0C (2010) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories. In: Gupta\u00a0A, Kroening\u00a0D (Hrsg) The SMT-LIB Standard: Version 2.0. http:\/\/theory.stanford.edu\/~barrett\/pubs\/BST10.pdf"},{"key":"1592_CR53","first-page":"49","volume-title":"Tagungsband \u2013 Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012","author":"S Voss","year":"2012","unstructured":"Voss\u00a0S, Sch\u00e4tz\u00a0B (2012) Scheduling shared memory multicore architectures in AUTOFOCUS 3 using satisfiability modulo theories. In: Tagungsband \u2013 Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, S\u00a049\u201356"},{"key":"1592_CR54","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/ECBS.2013.23","volume-title":"Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems","author":"S Voss","year":"2013","unstructured":"Voss\u00a0S, Sch\u00e4tz\u00a0B (2013) Deployment and scheduling synthesis for mixed-critical shared-memory applications. In: Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, S\u00a0100\u2013109. https:\/\/doi.org\/10.1109\/ECBS.2013.23"},{"key":"1592_CR55","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/3510454.3517057","volume-title":"IEEE\/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","author":"T Terzimehi\u0107","year":"2022","unstructured":"Terzimehi\u0107\u00a0T (2022) Architecture Synthesis for Optimized and Flexible Production. In: IEEE\/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). S\u00a0251\u2013255 https:\/\/doi.org\/10.1145\/3510454.3517057"},{"issue":"12","key":"1592_CR56","doi-asserted-by":"publisher","first-page":"13786","DOI":"10.1109\/TII.2024.3435373","volume":"20","author":"T Terzimehi\u0107","year":"2024","unstructured":"Terzimehi\u0107\u00a0T, Erler\u00a0D, Zoitl\u00a0A (2024) Multidimensional design space exploration for evolving manufacturing systems: Interplay of deployment, topology, and production planning architectural decisions. IEEE Trans Ind Informatics 20(12):13786\u201313797. https:\/\/doi.org\/10.1109\/TII.2024.3435373","journal-title":"IEEE Trans Ind Informatics"},{"key":"1592_CR57","doi-asserted-by":"publisher","DOI":"10.5772\/13559","volume-title":"New Trends and Developments\u00a0in Automotive System Engineering","author":"G Weiss","year":"2011","unstructured":"Weiss\u00a0G, Zeller\u00a0M, Eilers\u00a0D (2011)\u00a0Towards Automotive Embedded Systems with Self-X Properties.\u00a0In: New Trends and Developments in Automotive System Engineering, IntechOpen, Rijeka https:\/\/doi.org\/10.5772\/13559"},{"issue":"10, Part C","key":"1592_CR58","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1016\/j.sysarc.2012.11.003","volume":"59","author":"M Zeller","year":"2013","unstructured":"Zeller\u00a0M, Prehofer\u00a0C (2013) Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems. J\u00a0Syst Archit 59(10, Part C):1067\u20131082. https:\/\/doi.org\/10.1016\/j.sysarc.2012.11.003","journal-title":"J Syst Archit"},{"key":"1592_CR59","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/2866614.2866623","volume-title":"Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS \u201916)","author":"A Bayha","year":"2016","unstructured":"Bayha\u00a0A, L\u00facio\u00a0L, Aravantinos\u00a0V, Miyamoto\u00a0K, Igna\u00a0G (2016) Factory product lines: Tackling the compatibility problem. In: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS \u201916). S\u00a057\u201364. https:\/\/doi.org\/10.1145\/2866614.2866623"},{"key":"1592_CR60","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2008.11427","volume-title":"Generic analysis of model product lines via constraint lifting","author":"A Bayha","year":"2024","unstructured":"Bayha\u00a0A, Aravantinos\u00a0V (2024) Generic analysis of model product lines via constraint lifting. arXiv:2008.11427 [cs.SE]. https:\/\/doi.org\/10.48550\/arXiv.2008.11427"},{"issue":"4","key":"1592_CR61","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1109\/JPROC.2009.2037771","volume":"98","author":"M Broy","year":"2010","unstructured":"Broy\u00a0M, Feilkas\u00a0M, Herrmannsdoerfer\u00a0M, Merenda\u00a0S, Ratiu\u00a0D (2010) Seamless model-based development: From isolated tools to integrated model engineering environments. Proc IEEE 98(4):526\u2013545. https:\/\/doi.org\/10.1109\/JPROC.2009.2037771","journal-title":"Proc IEEE"},{"key":"1592_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Model-Based engineering of embedded systems: The SPES 2020 methodology","author":"K Pohl","year":"2012","unstructured":"Pohl\u00a0K, H\u00f6nninger\u00a0H, Achatz\u00a0R, Broy\u00a0M (2012) Model-Based engineering of embedded systems: The SPES 2020 methodology. Springer Berlin Heidelberg https:\/\/doi.org\/10.1007\/978-3-642-34614-9"},{"key":"1592_CR63","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1016\/j.procs.2021.01.238","volume":"181","author":"K Guizani","year":"2021","unstructured":"Guizani\u00a0K, Ghannouchi\u00a0SA (2021) An approach for selecting a\u00a0business process modeling language that best meets the requirements of a\u00a0modeler. Procedia Comput Sci 181:843\u2013851. https:\/\/doi.org\/10.1016\/j.procs.2021.01.238","journal-title":"Procedia Comput Sci"},{"key":"1592_CR64","first-page":"283","volume-title":"Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC)","author":"T Weijters","year":"2001","unstructured":"Weijters\u00a0T, van der Aalst\u00a0W (2001) Process Mining: Discovering Workflow Models from Event-Based Data. Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC), S\u00a0283\u2013290"},{"key":"1592_CR65","series-title":"Dagstuhl Seminar Report","volume-title":"Knowledge Management: An Interdisciplinary Approach","author":"WMP van der Aalst","year":"2000","unstructured":"van der Aalst\u00a0WMP (2000) Process Design by Discovery: Harvesting Workflow Knowledge from Ad-hoc Executions. In: Jarke\u00a0M, O\u2019Leary\u00a0D, Studer\u00a0R (Hrsg) Knowledge Management: An Interdisciplinary Approach. Dagstuhl Seminar Report. Dagstuhl"},{"issue":"9","key":"1592_CR66","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W van der Aalst","year":"2004","unstructured":"van der Aalst\u00a0W, Weijters\u00a0A, Maruster\u00a0L (2004) Workflow mining: Discovering process models from event logs. IEEE Trans Knowl Data Eng 16(9):1128\u20131142. https:\/\/doi.org\/10.1109\/TKDE.2004.47","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"1592_CR67","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-38333-5_13","volume-title":"Web Information Systems Engineering\u2014WISE 2011 and 2012 Workshops","author":"K Gallaba","year":"2013","unstructured":"Gallaba\u00a0K, Pavalanathan\u00a0U, Jayawardena\u00a0I, Sooriyabandara\u00a0E, Nanayakkara\u00a0V (2013) Levi\u2014A Workflow Engine Using BPMN 2.0. In: Haller\u00a0A, Huang\u00a0G, Huang\u00a0Z, Paik\u00a0H, Sheng\u00a0QZ (Hrsg) Web Information Systems Engineering\u2014WISE 2011 and 2012 Workshops. Springer, Berlin, Heidelberg, S\u00a0118\u2013130. https:\/\/doi.org\/10.1007\/978-3-642-38333-5_13"},{"key":"1592_CR68","series-title":"FlexMDE","first-page":"405","volume-title":"Proceedings of the\u00a0IEEE 20th International Conference on Model Driven Engineering Languages and Systems:\u00a0Satellite Events","author":"L L\u00facio","year":"2017","unstructured":"L\u00facio\u00a0L, bin Abid\u00a0S, Rahman\u00a0S, Aravantinos\u00a0V, Kuestner\u00a0R, Harwardt\u00a0E (2017) Process-Aware Model-driven Development Environments. In: Proceedings of the IEEE 20th International Conference on Model Driven Engineering Languages and Systems: Satellite Events. FlexMDE. S\u00a0405\u2013411. http:\/\/ceur-ws.org\/Vol-2019\/flexmde_4.pdf"}],"container-title":["Informatik Spektrum"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-025-01592-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00287-025-01592-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-025-01592-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T12:29:49Z","timestamp":1773750589000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00287-025-01592-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":68,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["1592"],"URL":"https:\/\/doi.org\/10.1007\/s00287-025-01592-4","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"6 April 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}