{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:10:29Z","timestamp":1764785429579,"version":"3.44.0"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100009534","name":"Universit\u00e4t Stuttgart","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100009534","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM shows its advantage especially in capturing complex systems, data and relationships. The reason for the limited use in the (safety-critical) avionics area is mainly due to the high demands on the safety of software and systems. Everything that is to be used in flight operations and development must undergo a rigorous and complex certification process. Any data used in operations must be verified. A reduction of this effort can be achieved using qualified tools. A qualified tool can either replace or support certification activities. This article elaborates different use cases of how DSM could be used in relation to airworthy software. For those use cases, we review the effort of a certification and retrieve the major shortcomings and showstoppers of available frameworks, e.g. infeasible qualification of DSM runtimes and the unavailability of qualification artifacts. Finally, we elaborate possible ways of mitigation and show the concept and first results of a new DSM framework for airworthy applications, called DOMAINES. DOMAINES covers deterministic meta-modeling up to graph-based model transformations and verified visual editing. The concept of DOMAINES and a first functional prototype are presented that indicate that the shortcomings can be mitigated.<\/jats:p>","DOI":"10.1007\/s11334-024-00565-2","type":"journal-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T10:02:26Z","timestamp":1720605746000},"page":"901-921","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)"],"prefix":"10.1007","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5942-5893","authenticated-orcid":false,"given":"Vanessa","family":"Tietz","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1383-5491","authenticated-orcid":false,"given":"Constantin","family":"Frey","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4819-9031","authenticated-orcid":false,"given":"Andreas","family":"Waldvogel","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1110-2830","authenticated-orcid":false,"given":"Julian","family":"Schoepf","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1268-0862","authenticated-orcid":false,"given":"Bjoern","family":"Annighoefer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"565_CR1","unstructured":"AdaCore (2022) QGen\u2014the code generator you can trust. https:\/\/docs.adacore.com\/live\/wave\/qgen\/pdf\/qgen_ug\/qgen_ug.pdf, accessed: 2022-12-20"},{"key":"565_CR2","doi-asserted-by":"publisher","unstructured":"Amrani M, Dingel J, Lambers L et\u00a0al (2012) Towards a model transformation intent catalog. p 3\u20138. https:\/\/doi.org\/10.1145\/2432497.2432499","DOI":"10.1145\/2432497.2432499"},{"key":"565_CR3","doi-asserted-by":"publisher","unstructured":"Annighoefer B (2019) An open source domain-specific avionics system architecture model for the design phase and self-organizing avionics. In: SAE Technical Paper Serie. https:\/\/doi.org\/10.4271\/2019-01-1383","DOI":"10.4271\/2019-01-1383"},{"key":"565_CR4","doi-asserted-by":"publisher","unstructured":"Annighoefer B, Brunner M, Schoepf J et\u00a0al (2020) Holistic IMA platform configuration using web-technologies and a domain-specific model query language. In: 2020 AIAA\/IEEE 39th digital avionics systems conference (DASC). https:\/\/doi.org\/10.1109\/dasc50938.2020.9256726","DOI":"10.1109\/dasc50938.2020.9256726"},{"key":"565_CR5","doi-asserted-by":"publisher","unstructured":"Annighoefer B, Brunner M, Luettig B et\u00a0al (2021) EOQ: an open source interface for a more DAMMMMN domain-specific model utilization. In: 2021 ACM\/IEEE international conference on model driven engineering languages and systems companion (MODELS-C), IEEE, pp 483\u2013492. https:\/\/doi.org\/10.1109\/MODELS-C53483.2021.00075","DOI":"10.1109\/MODELS-C53483.2021.00075"},{"key":"565_CR6","doi-asserted-by":"publisher","unstructured":"Annighoefer B, Reinhart J, Brunner M, et al (2021) The concept of an autonomic avionics platform and the resulting software engineering challenges. In: International symposium on software engineering for adaptive and self-managing systems (SEAMS). IEEE. https:\/\/doi.org\/10.1109\/seams51251.2021.00031","DOI":"10.1109\/seams51251.2021.00031"},{"key":"565_CR7","doi-asserted-by":"publisher","unstructured":"Atkinson C, K\u00fchne T (2001) The essence of multilevel metamodeling. In: International conference on the unified modeling language, Springer, pp 19\u20133. https:\/\/doi.org\/10.1007\/3-540-45441-1_3","DOI":"10.1007\/3-540-45441-1_3"},{"key":"565_CR8","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.1.89","author":"D Balasubramanian","year":"2006","unstructured":"Balasubramanian D, Narayanan A, van Buskirk CP et al (2006) The graph rewriting and transformation language: GReAT. Electron Commun Eur Assoc Softw Sci Technol. https:\/\/doi.org\/10.14279\/tuj.eceasst.1.89","journal-title":"Electron Commun Eur Assoc Softw Sci Technol."},{"key":"565_CR9","doi-asserted-by":"publisher","unstructured":"Batista L, Hammami O (2016) Capella based system engineering modelling and multi-objective optimization of avionics systems. In: 2016 IEEE international symposium on systems engineering (ISSE), pp 1\u20138,https:\/\/doi.org\/10.1109\/SysEng.2016.7753127","DOI":"10.1109\/SysEng.2016.7753127"},{"key":"565_CR10","doi-asserted-by":"publisher","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. Formal methods for the design of real-time systems, pp 200\u2013236. https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"2","key":"565_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.4271\/2019-01-1384","volume":"1","author":"T Belschner","year":"2019","unstructured":"Belschner T, M\u00fcller P, Reichel R (2019) Automated requirements and traceability generation for a distributed avionics platform. SAE Int J Adv Curr Pract Mob 1(2):447\u2013457. https:\/\/doi.org\/10.4271\/2019-01-1384","journal-title":"SAE Int J Adv Curr Pract Mob"},{"key":"565_CR12","doi-asserted-by":"publisher","unstructured":"Burns A (1999) The ravenscar profile. ACM SIGAda Ada Lett XIX(4):49\u20135. https:\/\/doi.org\/10.1145\/340396.340450","DOI":"10.1145\/340396.340450"},{"key":"565_CR13","doi-asserted-by":"publisher","unstructured":"Champion A, Mebsout A, Sticksel C et\u00a0al (2016) The kind 2 model checker. In: International conference on computer aided verification. Springer, pp 510\u201351https:\/\/doi.org\/10.1007\/978-3-319-41540-6_29","DOI":"10.1007\/978-3-319-41540-6_29"},{"key":"565_CR14","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke E, Giunchiglia F et\u00a0al (1999) NuSMV: A new symbolic model verifier. In: International conference on computer aided verification. Springer, pp 495\u2013499","DOI":"10.1007\/3-540-48683-6_44"},{"key":"565_CR15","unstructured":"Dassault Systems (2022) Cameo systems modeler. https:\/\/www.3ds.com\/products-services\/catia\/products\/no-magic\/cameo-systems-modeler"},{"key":"565_CR16","unstructured":"Di\u00a0Ruscio D (2007) Specification of model transformation and weaving in model driven engineering. dissertation, Dipartimento di Informatica Universita di L\u2019Aquila"},{"key":"565_CR17","unstructured":"Dormoy FX (2008) SCADE 6 a model based solution for safety critical software development. In: Embedded real time software and systems (ERTS2008)"},{"key":"565_CR18","unstructured":"dSpace (2022) Targetlink dspace. https:\/\/www.dspace.com\/de\/gmb\/home\/products\/sw\/pcgs\/targetlink.cfm#176_25806, accessed: 2022-01-25"},{"key":"565_CR19","unstructured":"Ehrig H, Ehrig K, Prange U et al (2010) Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science, An EATCS Series, Springer, Berlin Heidelberg"},{"key":"565_CR20","unstructured":"Feiler PH, Gluch DP (2012) Model-based engineering with AADL. Addison-Wesley, Upper Saddle River"},{"key":"565_CR21","unstructured":"Foundation E (2023) Auto IWG WP5. https:\/\/wiki.eclipse.org\/Auto_IWG_WP5, accessed: 2023-01-04"},{"issue":"1","key":"565_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-005-0078-1","volume":"4","author":"R France","year":"2005","unstructured":"France R, Rumpe B (2005) Domain specific modeling. Softw Syst Model 4(1):1. https:\/\/doi.org\/10.1007\/s10270-005-0078-1","journal-title":"Softw Syst Model"},{"key":"565_CR23","doi-asserted-by":"publisher","unstructured":"Frey C, Annighoefer B (2023) Model-based and automated software tool qualification of domain-specific modeling tools as per RTCA DO-330. https:\/\/doi.org\/10.18420\/se2023-ws-14","DOI":"10.18420\/se2023-ws-14"},{"key":"565_CR24","doi-asserted-by":"publisher","unstructured":"Halle M, Thielecke F (2015) Next generation IMA configuration engineering-from architecture to application. In: 2015 IEEE\/AIAA 34th digital avionics systems conference (DASC). IEEE, pp 6B2\u20131,https:\/\/doi.org\/10.1109\/DASC.2015.7311445","DOI":"10.1109\/DASC.2015.7311445"},{"key":"565_CR25","doi-asserted-by":"publisher","unstructured":"Halle M, Thielecke F (2016) Model-based transition of IMA architecture into configuration data. In: 2016 IEEE\/AIAA 35th digital avionics systems conference (DASC), pp 1\u20131. https:\/\/doi.org\/10.1109\/DASC.2016.7777950","DOI":"10.1109\/DASC.2016.7777950"},{"key":"565_CR26","doi-asserted-by":"publisher","unstructured":"Halle M, Thielecke F (2019) Tool chain for avionics design, development, integration and test. In: Software Engineerin. https:\/\/doi.org\/10.15480\/882.2598","DOI":"10.15480\/882.2598"},{"key":"565_CR27","unstructured":"Hilderman V (2014) DO-178C costs versus benefits. https:\/\/afuzion.com\/do-178c-costs-versus-benefits\/, accessed: 2022-02-15"},{"key":"565_CR28","unstructured":"Ibrahim M, Durak U (2021) State of the art in software tool qualification with DO-330: a survey. In: Proceedings of the software engineering pp 22\u201326"},{"key":"565_CR29","unstructured":"Institute for Software and Integrated Systems\u2014Vanderbilt University (2022) MetaGME. https:\/\/www.isis.vanderbilt.edu\/node\/3924, accessed: 2022-02-15"},{"key":"565_CR30","doi-asserted-by":"publisher","unstructured":"Iqbal MZ, Sartaj H, Khan MU et\u00a0al (2019) A model-based testing approach for cockpit display systems of avionics. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, pp 67\u201377. https:\/\/doi.org\/10.1109\/MODELS.2019.00-14","DOI":"10.1109\/MODELS.2019.00-14"},{"key":"565_CR31","doi-asserted-by":"publisher","unstructured":"Jouault F, Kurtev I (2006) Transforming models with ATL. In: Satellite events at the MoDELS 2005 conference: MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2\u20137, 2005 Revised Selected Papers 8. Springer, pp 128\u201313. https:\/\/doi.org\/10.1007\/11663430_14","DOI":"10.1007\/11663430_14"},{"key":"565_CR32","doi-asserted-by":"crossref","unstructured":"K\u00e4rn\u00e4 J, Tolvanen JP, Kelly S (2009) Evaluating the use of domain-specific modeling in practice. In: Proceedings of the 9th OOPSLA workshop on Domain-Specific Modeling","DOI":"10.1145\/1639950.1639975"},{"key":"565_CR33","unstructured":"Kuschnerus D, Bruns F, Bilgic A et\u00a0al (2012) A UML profile for the development of IEC 61508 compliant embedded software. In: Embedded real time software and systems (ERTS2012)"},{"key":"565_CR34","doi-asserted-by":"publisher","unstructured":"Lasnier G, Zalila B, Pautet L et\u00a0al (2009) Ocarina : an environment for AADL models analysis and automatic code generation for high integrity applications. In: Reliable Software Technologies\u2014Ada-Europe 2009. Springer, pp 237\u20132. https:\/\/doi.org\/10.1007\/978-3-642-01924-1_17","DOI":"10.1007\/978-3-642-01924-1_17"},{"key":"565_CR35","unstructured":"Ledeczi A, Maroti M, Bakay A et al (2001) The generic modeling environment. Workshop on Intelligent Signal Processing, Budapest, p 17"},{"key":"565_CR36","unstructured":"MathWorks (2022) Polyspace making critical code safe and secure. https:\/\/www.mathworks.com\/products\/polyspace.html, accessed: 2022-01-25"},{"key":"565_CR37","unstructured":"MathWorks Inc. (2022) System composer. https:\/\/www.mathworks.com\/products\/system-composer.html, accessed: 2022-02-15"},{"key":"565_CR38","unstructured":"MIRA-Limited (2004) MISRA-C:2004\u2014Guidelines for the use of the C language in critical systems. MIRA Limited"},{"key":"565_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-018-0282-7","author":"P Mueller","year":"2018","unstructured":"Mueller P, Belschner T, Lehmann M et al (2018) AAA process: a new approach to affordable fly-by-wire systems for CS23 aircraft. CEAS Aeronaut J. https:\/\/doi.org\/10.1007\/s13272-018-0282-7","journal-title":"CEAS Aeronaut J"},{"key":"565_CR40","doi-asserted-by":"crossref","unstructured":"Mueller P, Merckling M, Tietz V et\u00a0al (2023) Introduction of a dedicated platform level for ima systems development with an extensive automation tool support, unpublished","DOI":"10.1109\/DASC58513.2023.10311128"},{"key":"565_CR41","doi-asserted-by":"publisher","unstructured":"Nordmann A, Hochgeschwender N, Wrede S (2014) A survey on domain-specific languages in robotics. In: Simulation, modeling, and programming for autonomous robots. Springer, pp 195\u201320. https:\/\/doi.org\/10.1007\/978-3-319-11900-7_17","DOI":"10.1007\/978-3-319-11900-7_17"},{"key":"565_CR42","unstructured":"Object Management Group (2016) MOF Query\/View\/Transformation. Standard ormal\/2016-06-03, Object Management Group, Milford, USA, https:\/\/www.omg.org\/spec\/QVT\/1.3"},{"key":"565_CR43","unstructured":"Object Management Group (2017) OMG unified modeling language. Standard formal\/2015-03-01, Object Management Group, Milford, USA, https:\/\/www.omg.org\/spec\/UML\/2.5\/PDF"},{"key":"565_CR44","unstructured":"Object Management Group (2019) OMG Meta Object Facility (MOF) Core Specification. Standard formal\/2019-10-01, Object Management Group, Milford, USA, https:\/\/www.omg.org\/spec\/MOF\/2.5.1\/PDF"},{"key":"565_CR45","unstructured":"Rierson L (2013) Developing safety\u2014critical software\u2014a practical guide for aviation software and DO-178C Compliance. CRC Press - Taylor & Francis Group"},{"issue":"4","key":"565_CR46","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/comjnl\/10.4.336","volume":"10","author":"JS Rohl","year":"1968","unstructured":"Rohl JS (1968) A note on Backus Naur form. Comput J 10(4):336\u2013337","journal-title":"Comput J"},{"key":"565_CR47","unstructured":"RTCA (2011a) DO-178C software considerations in airborne systems and equipment. Standard, RTCA, Washington, USA, https:\/\/rtca.org"},{"key":"565_CR48","unstructured":"RTCA (2011b) DO-330 software tool qualification considerations. Standard, RTCA, Washington, USA, https:\/\/rtca.org"},{"key":"565_CR49","unstructured":"RTCA (2011c) DO-331 model-based development and verification supplement to DO-178C and DO-278A. Standard, RTCA, Washington, USA, https:\/\/rtca.org"},{"key":"565_CR50","unstructured":"RTCA (2011d) DO-332 object-oriented technology and related techniques supplement to DO-178C and DO-278A. Standard, RTCA, Washington, USA, https:\/\/rtca.org"},{"key":"565_CR51","unstructured":"RTCA (2011e) DO-333 formal methods supplement to DO-178C and DO-278A. Standard, RTCA, Washington, USA, https:\/\/rtca.org"},{"key":"565_CR52","unstructured":"SAE (2010) Guidelines for development of civil aircraft and systems. Standard, SAE. https:\/\/www.sae.org\/standards\/content\/arp4754a\/"},{"key":"565_CR53","unstructured":"Schoepf J, Annighoefer B, Reichel R (2019) A meta-model and transformation schema for the automated generation of ICDs in an automated development process of IMA system functions. In: Proceedings of the 7th international workshop on aircraft system technologies. Shaker"},{"key":"565_CR54","volume-title":"EMF eclipse modeling framework","author":"D Steinberg","year":"2009","unstructured":"Steinberg D, Budinsky F, Paternostro M et al (2009) EMF eclipse modeling framework. Addison-Wesley Professional, Boston"},{"key":"565_CR55","doi-asserted-by":"publisher","unstructured":"Subbiah S, Nagaraj S (2003) Issues with object orientation in verifying safety-critical systems. In: Sixth IEEE international symposium on object-oriented real-time distributed computing. https:\/\/doi.org\/10.1109\/isorc.2003.1199241","DOI":"10.1109\/isorc.2003.1199241"},{"key":"565_CR56","doi-asserted-by":"publisher","unstructured":"Tietz V, Annighoefer B (2022) A formally defined and formally provable EBNF-based constraint language for use in qualifiable software. In: Proceedings of the 25th international conference on model driven engineering languages and systems: companion Proceedings, pp 862\u2013871. https:\/\/doi.org\/10.1145\/3550356.3561552","DOI":"10.1145\/3550356.3561552"},{"key":"565_CR57","doi-asserted-by":"publisher","unstructured":"Tietz V, Annighoefer B (2024) Concept of automated testing of interactions with a domain-specific modeling framework with a combination of class and syntax diagrams. In: Proceedings of the 12th international conference on model-based software and systems engineering (MODELSWARD), vol 1. SciTePress, pp 108\u2013116. https:\/\/doi.org\/10.5220\/0012307400003645","DOI":"10.5220\/0012307400003645"},{"key":"565_CR58","doi-asserted-by":"publisher","unstructured":"Tietz V, Schoepf J, Waldvogel A et\u00a0al (2021) A concept for a qualifiable (meta)-modeling framework deployable in systems and tools of safety-critical and cyber-physical environments. In: 2021 ACM\/IEEE 24th international conference on model driven engineering languages and systems (MODELS), IEEE, pp 163\u201316. https:\/\/doi.org\/10.1109\/MODELS50736.2021.00025","DOI":"10.1109\/MODELS50736.2021.00025"},{"key":"565_CR59","doi-asserted-by":"publisher","unstructured":"Tietz V, Frey C, Schoepf J et\u00a0al (2022) Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? In: Proceedings of the 25th international conference on model driven engineering languages and systems: companion proceedings, pp 627\u2013632. https:\/\/doi.org\/10.1145\/3550356.3561536","DOI":"10.1145\/3550356.3561536"},{"key":"565_CR60","unstructured":"Toom A, Naks T, Pantel M et\u00a0al (2008) Gene-auto: an automatic code generator for a safe subset of simulink\/stateflow and scicos. In: Embedded real time software and systems (ERTS2008)"},{"key":"565_CR61","doi-asserted-by":"publisher","unstructured":"Wagner L, Mebsout A, Tinelli C et\u00a0al (2017) Qualification of a model checker for avionics software verification. In: NASA formal methods symposium. Springer, pp 404\u2013419. https:\/\/doi.org\/10.1007\/978-3-319-57288-8_29","DOI":"10.1007\/978-3-319-57288-8_29"},{"key":"565_CR62","doi-asserted-by":"publisher","unstructured":"Waldvogel A (2022) Towards qualifiable graphical editing of complex domain-specific models in safety-critical avionics. In: Proceedings of the 25th international conference on model driven engineering languages and systems: companion proceedings, pp 158\u2013163. https:\/\/doi.org\/10.1145\/3550356.3558507","DOI":"10.1145\/3550356.3558507"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-024-00565-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-024-00565-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-024-00565-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T20:31:26Z","timestamp":1757104286000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-024-00565-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":62,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["565"],"URL":"https:\/\/doi.org\/10.1007\/s11334-024-00565-2","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"10 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}