{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:49:21Z","timestamp":1742939361653,"version":"3.40.3"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030819149"},{"type":"electronic","value":"9783030819156"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-81915-6_5","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"71-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integration and Orchestration of Analysis Tools"],"prefix":"10.1007","author":[{"given":"Robert","family":"Heinrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erwan","family":"Bousse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandro","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Ratiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. \u201cCoMA: Conformance Monitoring of Java Programs by Abstract State Machines\u201d. In: Runtime Verification\u2014Second International Conference. 2011, pp. 223\u2013238. https:\/\/doi.org\/10.1007\/978-3-642-29860-8_17.","DOI":"10.1007\/978-3-642-29860-8_17"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. \u201cUsing SMT for dealing with nondeterminism in ASM-based runtime verification\u201d. In: Electronic Communications of the EASST 70 (2014), pp. 1\u201315. https:\/\/doi.org\/10.14279\/tuj.eceasst.70.970.","DOI":"10.14279\/tuj.eceasst.70.970"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. \u201cSMT-Based Automatic Proof of ASM Model Refinement\u201d. In: Software Engineering and Formal Methods - 14th International Conference. 2016, pp. 253\u2013269. https:\/\/doi.org\/10.1007\/978-3-319-41591-8_17.","DOI":"10.1007\/978-3-319-41591-8_17"},{"key":"5_CR4","unstructured":"Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. \u201cClosing the gap between the specification and the implementation: the ASMETA way\u201d. In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. 2018, pp. 242\u2013263."},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Paolo Arcaini and Elvinia Riccobene. \u201cAutomatic Refinement of ASM Abstract Test Cases\u201d. In: IEEE International Conference on Software Testing, Verification and Validation Workshops. 2019, pp. 1\u201310. https:\/\/doi.org\/10.1109\/ICSTW.2019.00025.","DOI":"10.1109\/ICSTW.2019.00025"},{"key":"5_CR6","unstructured":"Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian H\u00f6lzl, and Bernhard Sch\u00e4tz. \u201cAutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems\u201d. In: 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded Systems. 2015, pp. 19\u201326. http:\/\/ceurws.org\/Vol-1508\/paper4.pdf."},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. \u201cA model-driven process for engineering a toolset for a formal method\u201d. In: Software: Practice and Experience 41.2 (2011), pp. 155\u2013166. https:\/\/doi.org\/10.1002\/spe.1019.","DOI":"10.1002\/spe.1019"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, and Cesare Tinelli. \u201cCVC4\u201d. In: Proceedings of the 23rd International Conference on Computer Aided Verification, CAV. 2011, pp. 171\u2013177.","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"5_CR9","volume-title":"Coupled Model Transformations for QoS Enabled Component-Based Software Design","author":"Steffen Becker","year":"2008","unstructured":"Steffen Becker. Coupled Model Transformations for QoS Enabled Component-Based Software Design. Universit\u00e4tsverlag Karlsruhe, 2008. https:\/\/publikationen.bibliothek.kit.edu\/1000009095."},{"key":"5_CR10","unstructured":"Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frederic Lang, and Fran\u00e7ois Vernadat. \u201cFiacre: an Intermediate Language for Model Verification in the Topcased Environment\u201d. In: 4th European Congress ERTS Embedded Real Time Software. Jan. 2008, 8p. https:\/\/hal.inria.fr\/inria-00262442."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dirk Beyer. \u201cPartial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques\u201d. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 2016, pp. 874\u2013880.","DOI":"10.1007\/978-3-319-47166-2_60"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Silvia Bonfanti, Angelo Gargantini, and Atif Mashkoor. \u201cDesign and validation of a C+\u2009+ code generator from Abstract State Machines specifications\u201d. In: Journal of Software: Evolution and Process 32.2 (2020). https:\/\/doi.org\/10.1002\/smr.2205.","DOI":"10.1002\/smr.2205"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Xavier Blanc, Marie-Pierre Gervais, and Prawee Sriplakich. \u201cModel Bus: Towards the Interoperability of Modelling Tools\u201d. In: European Workshop on Model Driven Architecture. 2005, pp. 17\u201332. https:\/\/doi.org\/10.1007\/11538097_2.","DOI":"10.1007\/11538097_2"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Johannes Aldert Bergstra and Paul Klint. \u201cThe ToolBus coordination architecture\u201d. In: Coordination Languages and Models. 1996, pp. 75\u201388. https:\/\/doi.org\/10.1007\/3-540-61052-9_40.","DOI":"10.1007\/3-540-61052-9_40"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Volker Braun, Tiziana Margaria, and Carsten Weise. \u201cIntegrating tools in the ETI platform\u201d. In: International Journal on Software Tools for Technology Transfer 1.1-2 (Dec. 1997), pp. 31\u201348. https:\/\/doi.org\/10.1007\/s100090050004.","DOI":"10.1007\/s100090050004"},{"key":"5_CR16","unstructured":"Fran\u00e7ois Bobot, Jean-Christophe Filli\u00e2tre, Claude March\u00e9, and Andrei Paskevich. \u201cWhy3: Shepherd Your Herd of Provers\u201d. In: Boogie 2011: First International Workshop on Intermediate Verification Languages (May 2012)."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, and Stefano Tonetta. \u201cThe nuXmv Symbolic Model Checker\u201d. In: Computer Aided Verification. 2014, pp. 334\u2013342.","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta. \u201cOCRA: A Tool for Checking the Refinement of Temporal Contracts\u201d. In: International Conference on Automated Software Engineering. 2013, pp. 702\u2013705.","DOI":"10.1109\/ASE.2013.6693137"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, and Armando Tacchella. \u201cNuSMV 2: An OpenSource Tool for Symbolic Model Checking\u201d. In: 14th International Conference on Computer Aided Verification, CAV, Proceedings. 2002, pp. 359\u2013364.","DOI":"10.1007\/3-540-45657-0_29"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Edmund Clarke, Daniel Kroening, and Flavio Lerda. \u201cA Tool for Checking ANSI-C Programs\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol. 2988. 2004, pp. 168\u2013176.","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Simon Cruanes, Gregoire Hamon, Sam Owre, and Natarajan Shankar. \u201cTool Integration with the Evidential Tool Bus\u201d. In: International Workshop on Verification, Model Checking, and Abstract Interpretation. 2013, pp. 275\u2013294. https:\/\/doi.org\/10.1007\/978-3-642-35873-9_18.","DOI":"10.1007\/978-3-642-35873-9_18"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Matthew B. Dwyer and Sebastian Elbaum. \u201cUnifying verification and validation techniques\u201d. In: Proceedings of the FSE\/SDP workshop on Future of software engineering research. 2010. https:\/\/doi.org\/10.1145\/1882362.1882382.","DOI":"10.1145\/1882362.1882382"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Bruno Dutertre. \u201cYices 2.2\u201d. In: Computer Aided Verification. 2014, pp. 737\u2013744.","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"5_CR24","unstructured":"Patrick Farail, Pierre Gaufillet, Agusti Canals, Christophe LE Camus, David Sciamma, Pierre Michel, Xavier Cr\u00e9gut, and Marc Pantel. \u201cThe TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design\u201d. In: European Congress on Embedded Real Time Software. 2006. https:\/\/hal.archivesouvertes.fr\/hal-02270461."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Peter Feiler, David Gluch, and John Hudak. The Architecture Analysis & Design Language (AADL): An Introduction. Tech. rep. CMU\/SEI-2006-TN-011. Software Engineering Institute, Carnegie Mellon University, 2006. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=7879.","DOI":"10.21236\/ADA455842"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, and Marjan Sirjani. \u201cSafe Design of Flow Management Systems Using Rebeca\u201d. In: J. Inf. Process. 28 (2020), pp. 588\u2013598.","DOI":"10.2197\/ipsjjip.28.588"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Jean-Christophe Filli\u00e2tre and Andrei Paskevich. \u201cWhy3\u2014 Where Programs Meet Provers\u201d. In: European Symposium on Programming Languages and Systems. 2013, pp. 125\u2013128. https:\/\/doi.org\/10.1007\/978-3-642-37036-6_8.","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Matthias G\u00fcdemann, Michael Lipaczewski, and Frank Ortmeier. \u201cTool Supported Model-Based Safety Analysis and Optimization\u201d. In: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. Jan. 1, 2011. http:\/\/ieeexplore.ieee.org\/abstract\/document\/6133100\/.","DOI":"10.1109\/PRDC.2011.44"},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. \u201cA Metamodel-based Language and a Simulation Engine for Abstract State Machines\u201d. In: Journal of Universal Computer Science 14.12 (2008), pp. 1949\u20131983. https:\/\/doi.org\/10.3217\/jucs-014-12-1949.","DOI":"10.3217\/jucs-014-12-1949"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Francisco Dur\u00e1n, Carolyn L. Talcott, and Steffen Zschaler (eds.) Composing Model-Based Analysis Tools. Springer, 2021. https:\/\/doi.org\/10.1007\/978-3-030-81915-6.","DOI":"10.1007\/978-3-030-81915-6"},{"key":"5_CR31","unstructured":"Gerard Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003."},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Marta Kwiatkowska, Gethin Norman, and David Parker. \u201cPRISM 4.0: Verification of Probabilistic Real-time Systems\u201d. In: Proc. 23rd International Conference on Computer Aided Verification. Vol. 6806. 2011, pp. 585\u2013591.","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Tiziana Margaria. \u201cWeb services-based tool-integration in the ETI platform\u201d. In: Software & Systems Modeling 4.2 (May 2005), pp. 141\u2013156. https:\/\/doi.org\/10.1007\/s10270-004-0072-z.","DOI":"10.1007\/s10270-004-0072-z"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. \u201cZ3: An Efficient SMT Solver\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems. 2008, pp. 337\u2013340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Tiziana Margaria, Ralf Nagel, and Bernhard Steffen. \u201cjETI: A Tool for Remote Tool Integration\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems. 2005, pp. 557\u2013562. https:\/\/doi.org\/10.1007\/978-3-540-31980-1_38.","DOI":"10.1007\/978-3-540-31980-1_38"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Zaur Molotnikov, Markus V\u00f6lter, and Daniel Ratiu. \u201cAutomated domain-specific C verification with mbeddr\u201d. In: International Conference on Automated Software Engineering. 2014, pp. 539\u2013550. https:\/\/doi.org\/10.1145\/2642937.2642938.","DOI":"10.1145\/2642937.2642938"},{"key":"5_CR37","unstructured":"Object Management Group. OMG Systems Modeling Language (OMG SysML), Version 1.3. 2012. http:\/\/www.omg.org\/spec\/SysML\/1.3\/."},{"key":"5_CR38","unstructured":"Object Management Group. UML 2.5. Tech. rep. formal\/2015-03-01. Object Management Group, 2015."},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"Daniel Ratiu, Bernhard Schaetz, Markus Voelter, and Bernd Kolb. \u201cLanguage engineering as an enabler for incrementally defined formal analyses\u201d. In: 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approachess. 2012, pp. 9\u201315. https:\/\/doi.org\/10.1109\/FormSERA.2012.6229790.","DOI":"10.1109\/FormSERA.2012.6229790"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Daniel Ratiu, Markus Voelter, Zaur Molotnikov, and Bernhard Schaetz. \u201cImplementing Modular Domain Specific Languages and Analyses\u201d. In: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation. 2012, pp. 35\u201340. https:\/\/doi.org\/10.1145\/2427376.2427383.","DOI":"10.1145\/2427376.2427383"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Daniel Ratiu, Markus Voelter, Bernd Kolb, and Bernhard Schaetz. \u201cUsing Language Engineering to Lift Languages and Analyses at the Domain Level\u201d. In: NASA Formal Methods Symposium. 2013, pp. 465\u2013471. https:\/\/doi.org\/10.1007\/978-3-642-38088-4_35.","DOI":"10.1007\/978-3-642-38088-4_35"},{"key":"5_CR42","unstructured":"Rebeca. Afra Tool. http:\/\/rebeca-lang.org\/alltools\/Afra.2019."},{"key":"5_CR43","volume-title":"Modeling and Simulating Software Architectures \u2013 The Palladio Approach","author":"Ralf H Reussner","year":"2016","unstructured":"Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, and Klaus Krogmann. Modeling and Simulating Software Architectures \u2013 The Palladio Approach. MIT Press, 2016. https:\/\/mitpress.mit.edu\/books\/modeling-and-simulating-software-architectures."},{"key":"5_CR44","doi-asserted-by":"publisher","unstructured":"Daniel Ratiu, Marco Gario, and Hannes Schoenhaar. \u201cFASTEN: An Open Extensible Framework to Experiment with Formal Specification Approaches: Using Language Engineering to Develop a Multi-Paradigm Specification Environment for NuSMV\u201d. In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering. 2019, pp. 41\u201350. https:\/\/doi.org\/10.1109\/FormaliSE.2019.00013.","DOI":"10.1109\/FormaliSE.2019.00013"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"Daniel Ratiu and Andreas Ulrich. \u201cAn integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners\u201d. In: International Journal of Software Tools for Technology Transfer 21.3 (2019), pp. 267\u2013286. https:\/\/doi.org\/10.1007\/s10009-019-00510-w.","DOI":"10.1007\/s10009-019-00510-w"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"John Rushby. \u201cAn Evidential Tool Bus\u201d. In: Formal Methods and Software Engineering. 2005, pp. 36\u201336. https:\/\/doi.org\/10.1007\/11576280_3.","DOI":"10.1007\/11576280_3"},{"key":"5_CR47","unstructured":"Marjan Sirjani, Ali Movaghar, Amin Shali, and Frank S. de Boer. \u201cModeling and Verification of Reactive Systems using Rebeca\u201d. In: Fundamenta Informaticae 63.4 (2004), pp. 385\u2013410."},{"key":"5_CR48","doi-asserted-by":"crossref","unstructured":"Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, and Ali Sedaghatbaf. \u201cAn Actor-Based Design Platform for System of Systems\u201d. In: 43rd IEEE Annual Computer Software and Applications Conference. 2019, pp. 579\u2013587.","DOI":"10.1109\/COMPSAC.2019.00089"},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"Marjan Sirjani and Ehsan Khamespanah. \u201cOn Time Actors\u201d. In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. 2016, pp. 373\u2013392.","DOI":"10.1007\/978-3-319-30734-3_25"},{"key":"5_CR50","doi-asserted-by":"crossref","unstructured":"Bernhard Steffen, Tiziana Margaria, and Volker Braun. \u201cThe Electronic Tool Integration platform: concepts and design\u201d. In: International Journal on Software Tools for Technology Transfer 1.1-2 (Dec. 1997), pp. 9\u201330. https:\/\/doi.org\/10.1007\/s100090050003.","DOI":"10.1007\/s100090050003"},{"key":"5_CR51","unstructured":"Ian Sommerville. Software Engineering. Pearson, 2015."},{"key":"5_CR52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61267-6","volume-title":"Guide to Distributed Simulation with HLA","author":"Okan Top\u00e7u","year":"2017","unstructured":"Okan Top\u00e7u and Halit O\u011fuzt\u00fcz\u00fcn. Guide to Distributed Simulation with HLA. Springer, 2017. https:\/\/doi.org\/10.1007\/978-3-319-61267-6."},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"Markus Voelter, Daniel Ratiu, Bernhard Schaetz, and Bernd Kolb. \u201cMbeddr: An Extensible C-Based Programming Language and IDE for Embedded Systems\u201d. In: 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. 2012, pp. 121\u2013140. https:\/\/doi.org\/10.1145\/2384716.2384767.","DOI":"10.1145\/2384716.2384767"}],"container-title":["Composing Model-Based Analysis Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81915-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T15:21:52Z","timestamp":1638890512000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_5","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}