{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T16:30:54Z","timestamp":1776529854271,"version":"3.51.2"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000005","name":"U.S. Department of Defense","doi-asserted-by":"publisher","award":["FA8702-15-D-0002"],"award-info":[{"award-number":["FA8702-15-D-0002"]}],"id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10270-021-00889-8","type":"journal-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T10:03:07Z","timestamp":1624010587000},"page":"2023-2045","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Guided architecture trade space exploration: fusing model-based engineering and design by shopping"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4379-2362","authenticated-orcid":false,"given":"Sam","family":"Procter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Wrage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"889_CR1","doi-asserted-by":"publisher","unstructured":"Abdeen, H., Nagy, A.S., Varr\u00f3, D., Heged\u00fcs, \u00c1., Sahraoui, H., Horv\u00e1th, \u00c1.: Multi-objective optimization in rule-based design space exploration. In: ASE 2014 - Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, pp. 289\u2013300. Association for Computing Machinery, Inc, Vasteras, Sweden (2014). https:\/\/doi.org\/10.1145\/2642937.2643005","DOI":"10.1145\/2642937.2643005"},{"key":"889_CR2","unstructured":"Adventium Labs: https:\/\/www.adventiumlabs.com\/demonstration-combined-use-dse-rbd-and-tse-trade-space-analysis (2017). Accessed: August 15, 2018"},{"key":"889_CR3","doi-asserted-by":"publisher","unstructured":"Aleti, A., Bjornander, S., Grunske, L., Meedeniya, I.: ArcheOpterix: An extendable tool for architecture optimization of AADL models. In: 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 61\u201371. IEEE, Vancouver, Canada (2009). https:\/\/doi.org\/10.1109\/MOMPES.2009.5069138","DOI":"10.1109\/MOMPES.2009.5069138"},{"key":"889_CR4","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-19440-5_7","volume-title":"Software Language Engineering (SLE10)","author":"K B\u0105k","year":"2011","unstructured":"B\u0105k, K., Czarnecki, K., W\u0105sowski, A.: Feature and meta-models in clafer: Mixed, specialized, and coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) Software Language Engineering (SLE10), pp. 102\u2013122. Springer, Berlin (2011)"},{"key":"889_CR5","unstructured":"Balling, R.: Design by shopping: a new paradigm? In: Proceedings of the Third World Congress of Structural and Multidisciplinary Optimization (WCSMO-3), pp. 295\u2013297. Buffalo, NY (1999)"},{"issue":"1","key":"889_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/J.JSS.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009). https:\/\/doi.org\/10.1016\/J.JSS.2008.03.066","journal-title":"J. Syst. Softw."},{"key":"889_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.3233\/SAT190075","volume":"7","author":"DL Berre","year":"2010","unstructured":"Berre, D.L., Parrain, A.: The SAT4J library, release 2.2, system description. J. Satisfiab. Boolean Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisfiab. Boolean Model. Comput."},{"key":"889_CR8","doi-asserted-by":"publisher","unstructured":"Bertolino, A., Strigini, L.: Assessing the risk due to software faults: estimates of failure rate versus evidence of perfection. Software Testing, Verification and Reliability 8(3), 155\u2013166 (1998). https:\/\/doi.org\/10.1002\/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO;2-B. http:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1099-1689(1998090)8:3%3C155::AID-STVR163%3E3.0.CO;2-B\/full","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO;2-B"},{"key":"889_CR9","doi-asserted-by":"publisher","unstructured":"Bishop, P., Bloomfield, R., Littlewood, B., Povyakalo, A., Wright, D.: Toward a formalism for conservative claims about the dependability of software-based systems. IEEE Trans. Softw. Eng. 37(5), 708\u2013717 (2011). https:\/\/doi.org\/10.1109\/TSE.2010.67, http:\/\/ieeexplore.ieee.org\/document\/5492693\/","DOI":"10.1109\/TSE.2010.67"},{"key":"889_CR10","doi-asserted-by":"publisher","unstructured":"Bozzano, M., Cimatti, A., Fernandes Pires, A., Jones, D., Kimberly, G., Petri, T., Robinson, R., Tonetta, S.: Formal design and safety analysis of AIR6110 wheel brake system. In: D.\u00a0Kroening, C.\u00a0P\u0103s\u0103reanu (eds.) Computer aided Verification (CAV), pp. 518\u2013535. Springer, Cham, San Francisco, California, USA (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_36","DOI":"10.1007\/978-3-319-21690-4_36"},{"key":"889_CR11","unstructured":"Chilenski, J.J., Ward, D.T.: System architecture virtual integration SAVI AFE 59S1 report summary final report. Tech. rep, System Architecture Virtual Integration (2015)"},{"key":"889_CR12","unstructured":"Clark, B., Miller, C., McCurley, J., Zubrow, D., Brown, R., Zuccher, M.: Department of defense software factbook. Tech. Rep. CMU\/SEI-2017-TR-004, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2017)"},{"issue":"2","key":"889_CR13","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182\u2013197 (2002). https:\/\/doi.org\/10.1109\/4235.996017","journal-title":"IEEE Trans. Evol. Comput."},{"key":"889_CR14","doi-asserted-by":"crossref","unstructured":"Delange, J., Feiler, P., Gluch, D., Hudak, J.: AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, Tech. rep. (2014)","DOI":"10.21236\/ADA610294"},{"key":"889_CR15","doi-asserted-by":"publisher","unstructured":"Diewald, A., Voss, S., Barner, S.: A Lightweight design space exploration and optimization language. In: Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES \u201916, pp. 190\u2013193. ACM Press, New York, New York, USA (2016). https:\/\/doi.org\/10.1145\/2906363.2906367","DOI":"10.1145\/2906363.2906367"},{"key":"889_CR16","unstructured":"DoD Architecture Framework Working Group: DoD Architecture Framework Version 1.0. Tech. rep., United States Department of Defense (2003)"},{"key":"889_CR17","unstructured":"Eder, J., Voss, S.: Usable design space exploration in AutoFOCUS3. In: Workshop on Open Source Software for Model-Driven Engineering (OSS4MDE), in conjunction with MODELS conference. Brittany, France (2016)"},{"key":"889_CR18","volume-title":"Hazard Analysis Techniques for System Safety","author":"CA Ericson II","year":"2016","unstructured":"Ericson II, C.A.: Hazard Analysis Techniques for System Safety, 2nd edn. Wiley, New York (2016)","edition":"2"},{"key":"889_CR19","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Malek, S., Razavi, K.: GuideArch: guiding the exploration of architectural solution space under uncertainty. In: Proceedings of the 2013 International Conference on Software Engineering, pp. 43\u201352. IEEE Press, San Francisco, USA (2013)","DOI":"10.1109\/ICSE.2013.6606550"},{"issue":"2","key":"889_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/3092893.3092900","volume":"36","author":"P Feiler","year":"2017","unstructured":"Feiler, P., Delange, J.: Automated fault tree analysis from aadl models. Ada Lett. 36(2), 39\u201346 (2017). https:\/\/doi.org\/10.1145\/3092893.3092900","journal-title":"Ada Lett."},{"key":"889_CR21","volume-title":"Model-Based Engineering with AADL","author":"P Feiler","year":"2012","unstructured":"Feiler, P., Gluch, D.: Model-Based Engineering with AADL, 1st edn. Addison-Wesley Professional, Upper Saddle River, NJ (2012)","edition":"1"},{"key":"889_CR22","unstructured":"Feiler, P., Hansson, J., de Niz, D., Wrage, L.: System Architecture Virtual Integration: An Industrial Case Study. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. rep. (2009)"},{"key":"889_CR23","doi-asserted-by":"publisher","unstructured":"Frank, S., van Hoorn, A.: SQuAT-Vis: visualization and interaction in software architecture optimization. In: A.\u00a0Jansen, I.\u00a0Malavolta, H.\u00a0Muccini, I.\u00a0Ozkaya, O.\u00a0Zimmermann (eds.) European Conference on Software Architecture (ECSA20), pp. 107\u2013119. Springer, Cham, L\u2019Aquila, Italy (2020). https:\/\/doi.org\/10.1007\/978-3-030-59155-7_9","DOI":"10.1007\/978-3-030-59155-7_9"},{"key":"889_CR24","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S Friedenthal","year":"2014","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann, Amsterdam (2014)"},{"issue":"1","key":"889_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: trends, techniques, and applications. ACM Comput. Surv. 45(1), 1\u201361 (2012). https:\/\/doi.org\/10.1145\/2379776.2379787","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"889_CR26","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10515-014-0163-1","volume":"22","author":"\u00c1 Heged\u00fcs","year":"2015","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Varr\u00f3, D.: A model-driven framework for guided design space exploration. Autom. Softw. Eng. 22(3), 399\u2013436 (2015). https:\/\/doi.org\/10.1007\/s10515-014-0163-1","journal-title":"Autom. Softw. Eng."},{"key":"889_CR27","doi-asserted-by":"crossref","unstructured":"Hwang, C.L., Masud, A.S.M.: Multiple objective decision making - methods and applications: a state-of-the-art survey. Lecture Notes in Economics and Mathematical Systems, vol. 164. Springer, Heidelberg (1979)","DOI":"10.1007\/978-3-642-45511-7"},{"key":"889_CR28","unstructured":"Iacobucci, J.V.: Rapid architecture alternative modeling (Raam): a framework for capability-based analysis of system of systems architectures. Ph.D. thesis, Georgia Institute of Technology (2012)"},{"key":"889_CR29","unstructured":"Kerzhner, A.A.: Using logic-based approaches to explore system architectures for systems engineering. Ph.D. thesis, Georgia Institute of Technology (2012)"},{"key":"889_CR30","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP\u201997 \u2013 Object-Oriented Programming, pp. 220\u2013242. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053381"},{"key":"889_CR31","doi-asserted-by":"publisher","unstructured":"Koziolek, A.: Automated improvement of software architecture models for performance and other quality attributes. Ph.D. thesis, Institut f\u00fcr Programmstrukturen und Datenorganisation (IPD) (2013). https:\/\/doi.org\/10.5445\/KSP\/1000032342","DOI":"10.5445\/KSP\/1000032342"},{"key":"889_CR32","doi-asserted-by":"publisher","unstructured":"Kroening, D., Strichman, O.: Decision Procedures: An Algorithmic Point of View, 2nd edn. Springer, Berlin (2016). https:\/\/doi.org\/10.1007\/978-3-662-50497-0","DOI":"10.1007\/978-3-662-50497-0"},{"key":"889_CR33","first-page":"337","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS08)","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient smt solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS08), pp. 337\u2013340. Springer, Berlin (2008)"},{"key":"889_CR34","unstructured":"Owens, B., Leveson, N.: A comparative look at MBU hazard analysis techniques. In: Annual Military and Aerospace Programmable Logic Device International Conference(MAPLD), pp. 1\u201311. Washington DC, USA (2006). http:\/\/sunnyday.mit.edu\/papers\/Owens-mapld.pdf"},{"key":"889_CR35","unstructured":"Procter, S.: Guided architecture trade space exploration for safety-critical software systems. Presentation (2017)"},{"key":"889_CR36","doi-asserted-by":"publisher","unstructured":"Procter, S., Wrage, L.: Guided architecture trade space exploration: fusing model based engineering design by shopping. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 117\u2013127 (2019). https:\/\/doi.org\/10.1109\/MODELS.2019.000-9","DOI":"10.1109\/MODELS.2019.000-9"},{"key":"889_CR37","doi-asserted-by":"publisher","unstructured":"Rago, A., Vidal, S., Andres Diaz-Pace, J., Frank, S., Van Hoorn, A.: Distributed qality-atribute optimization of sofware architectures. In: Proceedings of the 11th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS17), vol. Part F1306, pp. 1\u201310. Association for Computing Machinery, Fortaleza, CE, Brazil (2017). https:\/\/doi.org\/10.1145\/3132498.3132509","DOI":"10.1145\/3132498.3132509"},{"key":"889_CR38","doi-asserted-by":"publisher","unstructured":"Ross, J.A., Murashkin, A., Liang, J.H., Antkiewicz, M., Czarnecki, K.: Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. Software & Systems Modeling pp. 1\u201329 (2017). https:\/\/doi.org\/10.1007\/s10270-017-0592-y","DOI":"10.1007\/s10270-017-0592-y"},{"key":"889_CR39","unstructured":"Aerospace, S.A.E.: AIR6110: Contiguous Aircraft\/System Development Process Example. Tech. rep, SAE International (2011)"},{"key":"889_CR40","unstructured":"SAE AS-2C Architecture Description Language Subcommittee: SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex B: Behavior Annex. Tech. rep., SAE International (2011)"},{"key":"889_CR41","unstructured":"SAE AS-2C Architecture Description Language Subcommittee: SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex. Tech. rep., SAE International (2015)"},{"key":"889_CR42","unstructured":"SAE AS-2C Architecture Description Language Subcommittee: SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex E: Error Model Annex. Tech. rep., SAE International (2015)"},{"key":"889_CR43","doi-asserted-by":"publisher","unstructured":"Selva, D., Crawley, E.F.: VASSAR: Value assessment of system architectures using rules. In: IEEE Aerospace Conference Proceedings, pp. 1\u201321. IEEE, Big Sky, Montana (2013). https:\/\/doi.org\/10.1109\/AERO.2013.6496936","DOI":"10.1109\/AERO.2013.6496936"},{"key":"889_CR44","doi-asserted-by":"publisher","unstructured":"Simpson, T., Carlsen, D., Congdon, C., Stump, G., Yukish, M.A.: Trade space exploration of a wing design problem using visual steering and multi-dimensional data visualization. In: 49th AIAA\/ASME\/ASCE\/AHS\/ASC Structures, Structural Dynamics, and Materials Conference. Schaumburg, IL (2008). https:\/\/doi.org\/10.2514\/6.2008-2139","DOI":"10.2514\/6.2008-2139"},{"key":"889_CR45","unstructured":"Society for Automotive Engineers Inc: ARP4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. Tech. rep, SAE International (1996)"},{"key":"889_CR46","unstructured":"Society for Automotive Engineers Inc: ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. Tech. rep, SAE International (1996)"},{"key":"889_CR47","doi-asserted-by":"publisher","unstructured":"Stewart, D., Whalen, M.W., Cofer, D., Heimdahl, M.P.: architectural modeling and analysis for safety engineering. In: M.\u00a0Bozzano, Y.\u00a0Papadopolous (eds.) Proceedings of International Symposium on Model-Based Safety and Assessment (IMBSA 2017), pp. 97\u2013111 (2017). https:\/\/doi.org\/10.1007\/978-3-319-64119-5_7","DOI":"10.1007\/978-3-319-64119-5_7"},{"key":"889_CR48","doi-asserted-by":"publisher","unstructured":"Stump, G., Lego, S., Yukish, M., Simpson, T.W., Donndelinger, J.A.: Visual steering commands for trade space exploration: user-guided sampling with example. J. Comput. Inf. Sci. Eng. 9(4), 044501 (2009). https:\/\/doi.org\/10.1115\/1.3243633","DOI":"10.1115\/1.3243633"},{"key":"889_CR49","doi-asserted-by":"publisher","unstructured":"Stump, G., Yukish, M., Martin, J., Simpson, T.: The ARL trade space visualizer: an engineering decision-making tool. In: 10th AIAA\/ISSMO Multidisciplinary Analysis and Optimization Conference. Albany, New York (2004). https:\/\/doi.org\/10.2514\/6.2004-4568","DOI":"10.2514\/6.2004-4568"},{"key":"889_CR50","doi-asserted-by":"publisher","unstructured":"Stump, G., Yukish, M., Simpson, T., Harris, E.N.: Design space visualization and its application to a design by shopping paradigm. In: 29th Design Automation Conference, Parts A and B, vol. 2003, pp. 795\u2013804. ASME, Chicago, Illinois, USA (2003). https:\/\/doi.org\/10.1115\/DETC2003\/DAC-48785","DOI":"10.1115\/DETC2003\/DAC-48785"},{"key":"889_CR51","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Leningrad Seminar on Mathematical Logic, pp. 1\u201311. Leningrad (1966)"},{"key":"889_CR52","doi-asserted-by":"publisher","unstructured":"Verendel, V.: Quantified security is a weak hypothesis. In: Proceedings of the 2009 workshop on New security paradigms workshop - NSPW \u201909, p.\u00a037. ACM Press, New York, New York, USA (2009). https:\/\/doi.org\/10.1145\/1719030.1719036","DOI":"10.1145\/1719030.1719036"},{"key":"889_CR53","doi-asserted-by":"publisher","unstructured":"Watkins, C.: Integrated modular avionics: managing the allocation of shared intersystem resources. In: 2006 IEEE\/AIAA 25TH Digital Avionics Systems Conference, pp. 1\u201312. IEEE, Portland, OR (2006). https:\/\/doi.org\/10.1109\/DASC.2006.313743","DOI":"10.1109\/DASC.2006.313743"},{"key":"889_CR54","doi-asserted-by":"publisher","unstructured":"Zantema, H., Groote, J.F.: Transforming equality logic to propositional logic. In: FTP\u20192003, 4th International Workshop on First-Order Theorem Proving (in connection with RDP\u201903, Federated Conference on Rewriting, Deduction and Programming), pp. 162\u2014-173 (2003). https:\/\/doi.org\/10.1016\/S1571-0661(04)80661-3","DOI":"10.1016\/S1571-0661(04)80661-3"},{"key":"889_CR55","doi-asserted-by":"publisher","unstructured":"Zimmermann, H.J.: Fuzzy Set Theory\u2013and Its Applications, 4th edn. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-010-0646-0","DOI":"10.1007\/978-94-010-0646-0"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00889-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00889-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00889-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,6]],"date-time":"2021-12-06T03:12:04Z","timestamp":1638760324000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00889-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":55,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["889"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00889-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 April 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}