{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:07Z","timestamp":1781172307602,"version":"3.54.1"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030819149","type":"print"},{"value":"9783030819156","type":"electronic"}],"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_4","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T13:05:50Z","timestamp":1638450350000},"page":"45-70","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Composition of Languages, Models, and Analyses"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sofia","family":"Ananieva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kyungmin","family":"Bae","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Hills","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Narges","family":"Khakpour","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralf","family":"Reussner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. \u201cComposing Specifications\u201d. In: ACM Transactions on Programming Languages and Systems 15.1 (1990), pp. 73\u2013132.","DOI":"10.1145\/151646.151649"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Kyungmin Bae and Jia Lee. \u201cBounded model checking of signal temporal logic properties using syntactic separation\u201d. In: vol. 3. 2019, 51:1\u201351:30. https:\/\/doi.org\/10.1145\/3290364.","DOI":"10.1145\/3290364"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Christiano Braga and Jos\u00e9 Meseguer. \u201cModular Rewriting Semantics in Practice\u201d. In: International Workshop on Rewriting Logic and Its Applications, WRLA, Proceedings. Vol. 117. 2005, pp. 393\u2013416. https:\/\/doi.org\/10.1016\/j.entcs.2004.06.019.","DOI":"10.1016\/j.entcs.2004.06.019"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Kyungmin Bae and Jos\u00e9 Meseguer. \u201cModel checking linear temporal logic of rewriting formulas under localized fairness\u201d. In: Science of Computer Programming 99 (2015), pp. 193\u2013234.","DOI":"10.1016\/j.scico.2014.02.006"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, and Beno\u00eet Combemale. \u201cExecution framework of the GEMOC studio (tool demo)\u201d. In: International Conference on Software Language Engineering, SLE, Proceedings. 2016, pp. 84\u201389.","DOI":"10.1145\/2997364.2997384"},{"key":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56641-1","volume-title":"Modeling Companion for Software Practitioners","author":"Egon B\u00f6rger","year":"2018","unstructured":"Egon B\u00f6rger and Alexander Raschke. Modeling Companion for Software Practitioners. Springer, 2018. https:\/\/doi.org\/10.1007\/978-3-662-56641-1."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Mark van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, and Joost Visser. \u201cThe ASF+SDF Meta-environment: A Component-Based Language Development Environment\u201d. In: Proceedings of CC\u201901. Vol. 2027. 2001, pp. 365\u2013370.","DOI":"10.1007\/3-540-45306-7_26"},{"key":"4_CR8","volume-title":"The Unified Modeling Language User Guide","author":"Grady Booch","year":"1998","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Manfred Broy, Mar\u00eda Victoria Cengarle, Hans Gr\u00f6nniger, and Bernhard Rumpe. \u201cConsiderations and Rationale for a UML System Model\u201d. In: UML 2 Semantics and Applications. Nov. 2009, pp. 43\u201361.","DOI":"10.1002\/9780470522622.ch3"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Manfred Broy, Mar\u00eda Victoria Cengarle, Hans Gr\u00f6nniger, and Bernhard Rumpe. \u201cDefinition of the UML System Model\u201d. In: UML 2 Semantics and Applications. 2009, pp. 63\u201393.","DOI":"10.1002\/9780470522622.ch4"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Manfred Broy and Ketil St\u00f8len. Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer, 2001.","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"4_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"Egon B\u00f6rger","year":"2003","unstructured":"Egon B\u00f6rger and Robert St\u00e4rk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Xin Chen, Erika \u00e1brah\u00e1m, and Sriram Sankaranarayanan. \u201cFlow*: An Analyzer for Non-linear Hybrid Systems\u201d. In: Computer Aided Verification - 25th International Conference, CAV, Proceedings. Vol. 8044. 2013, pp. 258\u2013263. https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18.","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta. \u201cHyComp: An SMT-Based Model Checker for Hybrid Systems\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS, Proceedings. Vol. 9035. 2015, pp. 52\u201367. https:\/\/doi.org\/10.1007\/978-3-662-46681-0_4.","DOI":"10.1007\/978-3-662-46681-0_4"},{"key":"4_CR15","unstructured":"Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Jos\u00e9 Meseguer, Patrick Lincoln, Narciso Mart\u00ed-Oliet, and Carolyn Talcott. All About Maude \u2013 A High-Performance Logical Framework. Vol. 4350. Springer, 2007."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Tony Clark, Mark van den Brand, Beno\u00eet Combemale, and Bernhard Rumpe. \u201cConceptual Model of the Globalization for Domain-Specific Languages\u201d. In: Globalizing Domain-Specific Languages - International Dagstuhl Seminar, Revised Papers. Vol. 9400. 2014, pp. 7\u201320. https:\/\/doi.org\/10.1007\/978-3-319-26172-0_2.","DOI":"10.1007\/978-3-319-26172-0_2"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Benoit Combemale, Robert France, Jean-Marc J\u00e9z\u00e9quel, Bernhard Rumpe, Jim R.H. Steel, and Didier Vojtisek. Engineering Modeling Languages. Chapman and Hall\/CRC, 2016, p. 398. http:\/\/mdebook.irisa.fr\/.","DOI":"10.1201\/b21841"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n, Salvador Lucas, and Jos\u00e9 Meseguer. \u201cMTT: The Maude Termination Tool (System Description)\u201d. In: Automated Reasoning, 4th International Joint Conference. Vol. 5195. 2008, pp. 313\u2013319.","DOI":"10.1007\/978-3-540-71070-7_27"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n and Jos\u00e9 Meseguer. \u201cOn the Church-Rosser and coherence properties of conditional order-sorted rewrite theories\u201d. In: Journal of Logic and Algebraic Programming 81.7\u20138 (2012), pp. 816\u2013850.","DOI":"10.1016\/j.jlap.2011.12.004"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Rub\u00e9n Rubio, and Carolyn L. Talcott. \u201cProgramming and Symbolic Computation in Maude\u201d. In: Journal of Logical and Algebraic Methods in Programming (2019).","DOI":"10.1016\/j.jlamp.2019.100497"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Johan Eker, Jorn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, S. Neuendorffer, Sonia Sachs, and Yuhong Xiong. \u201cTaming heterogeneity - the Ptolemy approach\u201d. In: Proceedings of the IEEE 91.1 (2003), pp. 127\u2013144. https:\/\/doi.org\/10.1109\/JPROC.2002.805829s.","DOI":"10.1109\/JPROC.2002.805829"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Santiago Escobar, Cathy Meadows, and Jos\u00e9 Meseguer. \u201cA Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties\u201d. In: Theoretical Computer Science 367.1\u20132 (2006), pp. 162\u2013202.","DOI":"10.1016\/j.tcs.2006.08.035"},{"key":"4_CR23","unstructured":"David A. Espinosa. \u201cSemantic Lego\u201d. PhD thesis. 1995."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Goran Frehse, Colas Le Guernic, Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. \u201cSpaceEx: Scalable Verification of Hybrid Systems\u201d. In: Computer Aided Verification - 23rd International Conference, CAV, Proceedings. Vol. 6806. 2011, pp. 379\u2013395. https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30.","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"4_CR25","unstructured":"Object Management Group. MOF Specification Version 2.0 (2006-01-01). http:\/\/www.omg.org\/docs\/05-04.pdf. Jan. 2006."},{"key":"4_CR26","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: J. UCS 14.12 (2008), pp. 1949\u20131983. https:\/\/doi.org\/10.3217\/jucs-014-12-1949.","DOI":"10.3217\/jucs-014-12-1949"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. \u201cA semantic framework for metamodel-based languages\u201d. In: Autom. Softw. Eng. 16.3-4 (2009), pp. 415\u2013454. https:\/\/doi.org\/10.1007\/s10515-009-0053-0.","DOI":"10.1007\/s10515-009-0053-0"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Robert Heinrich, Philipp Merkle, J\u00f6rg Henss, and Barbara Paech. \u201cIntegrating business process simulation and information system simulation for performance prediction\u201d. In: Software & Systems Modeling 16.1 (2017), pp. 257\u2013277. https:\/\/doi.org\/10.1007\/s10270-015-0457-1.","DOI":"10.1007\/s10270-015-0457-1"},{"key":"4_CR29","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":"4_CR30","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger. \u201cThe theory of hybrid automata\u201d. In: Verification of digital and hybrid systems. 2000, pp. 265\u2013292.","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"J\u00f6rg Henss, Philipp Merkle, and Ralf H. Reussner. \u201cThe OMPCM Simulator for Model-Based Software Performance Prediction: Poster Abstract\u201d. In: 6th International ICST Conference on Simulation Tools and Techniques, Proceedings. 2013, pp. 354\u2013357.","DOI":"10.4108\/icst.simutools.2013.251704"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"David Harel and Bernhard Rumpe. \u201cMeaningful modeling: what\u2019s the semantics of \"semantics\"?\u201d In: Computer 37.10 (2004), pp. 64\u201372.","DOI":"10.1109\/MC.2004.172"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Mark Hills, Traian Florin \u015eerb\u0103nu\u0163\u0103, and Grigore Rosu. \u201cA Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters\u201d. In: 6th International Workshop on Rewriting Logic and its Applications, WRLA, Proceedings. Vol. 176. 2007, pp. 215\u2013231. https:\/\/doi.org\/10.1016\/j.entcs.2007.06.017.","DOI":"10.1016\/j.entcs.2007.06.017"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Soonho Kong, Sicun Gao, Wei Chen, and Edmund M. Clarke. \u201cdReach: \u03b4-Reachability Analysis for Hybrid Systems\u201d. In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS, Proceedings. Vol. 9035. 2015, pp. 200\u2013205. https:\/\/doi.org\/10.1007\/978-3-662-46681-0_15.","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"4_CR35","unstructured":"Philipp W. Kutter and Alfonso Pierantonio. \u201cMontages Specifications of Realistic Programming Languages\u201d. In: J. UCS 3.5 (1997), pp. 416\u2013442."},{"key":"4_CR36","doi-asserted-by":"publisher","unstructured":"Matias Ezequiel Vara Larsen, Julien DeAntoni, Beno\u00eet Combemale, and Fr\u00e9d\u00e9ric Mallet. \u201cA Behavioral Coordination Operator Language (BCOoL)\u201d. In: 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS, Proceedings. 2015, pp. 186\u2013195. https:\/\/doi.org\/10.1109\/MODELS.2015.7338249.","DOI":"10.1109\/MODELS.2015.7338249"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Nancy A. Lynch, Roberto Segala, and Frits W. Vaandrager. \u201cHybrid I\/O automata\u201d. In: Inf. Comput. 185.1 (2003), pp. 105\u2013157. https:\/\/doi.org\/10.1016\/S0890-5401(03)00067-1.","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Ian A. Mason, Vivek Nigam, Carolyn Talcott, and Alisson Brito. \u201cA Framework for Analyzing Adaptive Autonomous Aerial Vehicles\u201d. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems. 2017.","DOI":"10.1007\/978-3-319-74781-1_28"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer and Christiano Braga. \u201cModular Rewriting Semantics of Programming Languages\u201d. In: 10th International Conference on Algebraic Methodology and Software Technology, AMAST, Proceedings. Vol. 3116. 2004, pp. 364\u2013378.","DOI":"10.1007\/978-3-540-27815-3_29"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. \u201cTwenty years of rewriting logic\u201d. In: J. Algebraic and Logic Programming 81 (2012), pp. 721\u2013781.","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. \u201cConditional Rewriting Logic as a Unified Model of Concurrency\u201d. In: Theoretical Computer Science 96.1 (1992), pp. 73\u2013155.","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Oded Maler and Dejan Nickovic. \u201cMonitoring Temporal Properties of Continuous Signals\u201d. In: Formal Techniques, Modelling and Analysis of Timed and Fault- Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS, and Formal Techniques in Real-Time and Fault- Tolerant Systems, FTRTFT, Proceedings. Vol. 3253. 2004, pp. 152\u2013166. https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12.","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses and Mark J. New. \u201cImplicit Propagation in Structural Operational Semantics\u201d. In: Proceedings of SOS\u201908. Vol. 229.4. 2008, pp. 49\u201366.","DOI":"10.1016\/j.entcs.2009.07.073"},{"key":"4_CR44","unstructured":"Eugenio Moggi. An Abstract View of Programming Languages. Tech. rep. ECSLFCS- 90-113. Edinburgh University, Department of Computer Science, June 1989."},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Eugenio Moggi. \u201cNotions of Computation and Monads\u201d. In: Information and Computation 93.1 (1991), pp. 55\u201392.","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. \u201cPragmatics of Modular SOS\u201d. In: Proceedings of AMAST\u201902. Vol. 2422. 2002, pp. 21\u201340.","DOI":"10.1007\/3-540-45719-4_3"},{"key":"4_CR47","doi-asserted-by":"crossref","unstructured":"Peter D. Mosses. \u201cFoundations of Modular SOS\u201d. In: Proceedings of MFCS\u201999. Vol. 1672. 1999, pp. 70\u201380.","DOI":"10.1007\/3-540-48340-3_7"},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"Vivek Nigam and Carolyn Talcott. \u201cAutomated Construction of Security Integrity Wrappers for Industry 4.0 Applications\u201d. In: The 13th International Workshop on Rewriting Logic and its Applications. 2020.","DOI":"10.1007\/978-3-030-63595-4_11"},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Vivek Nigam, Carolyn Talcott, and Abra\u00e3o Aires Urquiza. \u201cSymbolic Timed Trace Equivalence\u201d. In: CathyFest2019. 2019.","DOI":"10.1007\/978-3-030-19052-1_8"},{"key":"4_CR50","doi-asserted-by":"crossref","unstructured":"Peter Csaba \u00d6lveczky and Jos\u00e9 Meseguer. \u201cSemantics and Pragmatics of Real-Time Maude\u201d. In: Higher-Order and Symbolic Computation 20.1-2 (2007), pp. 161\u2013196.","DOI":"10.1007\/s10990-007-9001-5"},{"key":"4_CR51","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."},{"key":"4_CR52","unstructured":"Jan Oliver Ringert and Bernhard Rumpe. \u201cA Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing\u201d. In: International Journal of Software and Informatics (2011)."},{"key":"4_CR53","doi-asserted-by":"crossref","unstructured":"Grigore Rosu and Traian-Florin Serbanuta. \u201cAn overview of the K semantic framework\u201d. In: J. Log. Algebraic Methods Program. 79.6 (2010), pp. 397\u2013434. https:\/\/doi.org\/10.1016\/j.jlap.2010.03.012.","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"4_CR54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8327-4","volume-title":"Allgemeine Modelltheorie","author":"Herbert Stachowiak","year":"1973","unstructured":"Herbert Stachowiak. Allgemeine Modelltheorie. Springer, 1973."},{"key":"4_CR55","unstructured":"Christian Stier. \u201cAdaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems\u201d. PhD thesis. Karlsruher Institut fur Technologie (KIT), 2018. https:\/\/doi.org\/10.5445\/IR\/1000083402."},{"key":"4_CR56","doi-asserted-by":"crossref","unstructured":"Carolyn Talcott, Vivek Nigam, Farhad Arbab, and Tobia Kappe. \u201cFormal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems\u201d. In: SFM 2016: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Vol. 9700. 2016, pp. 1\u201335.","DOI":"10.1007\/978-3-319-34096-8_1"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T14:10:13Z","timestamp":1699884613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81915-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030819149","9783030819156"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81915-6_4","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"}}]}}