{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:13:53Z","timestamp":1792185233270,"version":"4.4.0"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030614690","type":"print"},{"value":"9783030614706","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-61470-6_10","type":"book-chapter","created":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T18:03:12Z","timestamp":1603735392000},"page":"161-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition"],"prefix":"10.1007","author":[{"given":"Martin","family":"Wirsing","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,10,27]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"104457","DOI":"10.1016\/j.ic.2019.104457","volume":"268","author":"Y Abd Alrahman","year":"2019","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)","journal-title":"Inf. Comput."},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"102428","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"Y Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"10_CR3","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/s10009-020-00556-1","volume":"22","author":"R Al Ali","year":"2020","unstructured":"Al Ali, R., Bures, T., Hnetynka, P., Matejek, J., Plasil, F., Vinarek, J.: Toward autonomically composable and context-dependent access control specification through ensembles. Int. J. Softw. Tools Technol. Transf. 22(4), 511\u2013522 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00556-1","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(80)90045-6","volume":"11","author":"A Arnold","year":"1980","unstructured":"Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Theor. Comput. Sci. 11, 181\u2013205 (1980)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-34096-8_8","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"J Beal","year":"2016","unstructured":"Beal, J., Viroli, M.: Aggregate programming: from foundations to applications. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 233\u2013260. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_8"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Writing robotics applications with X-KLAIM. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 361\u2013379. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_22"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-21485-2_8","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"L Bettini","year":"2019","unstructured":"Bettini, L., Merelli, E., Tiezzi, F.: X-KLAIM is back. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 115\u2013135. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_8"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., et\u00a0al.: CARMA: collective adaptive resource-sharing Markovian agents. In: QAPL 2015, EPTCS, vol. 194, pp. 16\u201331 (2015)","DOI":"10.4204\/EPTCS.194.2"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., Gerastathopoulos, I., Hn\u011btynka, P., Pacovsk\u00fd, J.: Forming ensembles at runtime: a machine learning approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 440\u2013456. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_26"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s10009-020-00558-z","volume":"22","author":"T Bure\u0161","year":"2020","unstructured":"Bure\u0161, T., et al.: A language and framework for dynamic component ensembles in smart systems. Int. J. Softw. Tools Technol. Transf. 22(4), 497\u2013509 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00558-z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Bure\u0161, T., Hn\u011btynka, P., Heinrich, R., Seifermann, S., Walter, M.: Capturing dynamicity and uncertainty in security and trust via situational patterns. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 295\u2013310. Springer, Cham (2020","DOI":"10.1007\/978-3-030-61470-6_18"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Casadei, R., Viroli, M., Audrito, G., Damiani, F.: FSCAFI: a core calculus for collective adaptive systems programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 344\u2013360. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_21"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Caselli, A., Ciatto, G., Di Marzo Serugendo, G., Omicini, A. Engineering semantic self-composition of services through tuple-based coordination. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 205\u2013223. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_13"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Castiglioni, V., Loreti, M., Tini, S.: Measuring adaptability and reliability of large scaled systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 380\u2013396. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_23"},{"issue":"4","key":"10_CR15","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","volume":"22","author":"R De Nicola","year":"2020","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4), 389\u2013397 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00565-0","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-03424-5_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"R De Nicola","year":"2018","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems introduction to the 2nd track edition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 3\u201312. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_1"},{"issue":"2","key":"10_CR17","first-page":"7:1","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. 9(2), 7:1\u20137:29 (2014)","journal-title":"ACM Trans. Auton. Adapt."},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J Desharnais","year":"2004","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3), 323\u2013354 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Duong, T., Inverso, O.: Verifying AbC specifications via emulation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 261\u2013279. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_16"},{"key":"10_CR20","unstructured":"Facebook, Inc.: GraphQL specification, June 2018 Edition (2018). http:\/\/spec.graphql.org\/June2018\/ . Accessed 12 Aug 2020"},{"key":"10_CR21","unstructured":"Faqeh, R., et\u00a0al.: Towards dynamic dependable systems through evidence-based continuous certification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 261\u2013279. Springer, Cham (2020)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Gabor, T., Linnhoff-Popien, C.: A formal model for reasoning about the ideal fitness in evolutionary processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 473\u2013490. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_28"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"Guo, X., Hern\u00e1ndez-Lerma, O.: Continuous-Time Markov Decision Processes: Theory and Applications. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02547-1","DOI":"10.1007\/978-3-642-02547-1"},{"key":"10_CR25","volume-title":"Dynamic Logic","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J. (eds.): Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"10_CR26","unstructured":"Hennicker, R., Wirsing, M.: A dynamic logic for systems with predicate-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 473\u2013490. Springer, Cham (2020)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Hennicker, R., Wirsing, M.: Dynamic logic for ensembles. In: [40], pp. 32\u201347 (2018)","DOI":"10.1007\/978-3-030-03424-5_3"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Hillston, J., Piho, P.: A case study of policy synthesis for swarm robotics. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 491\u2013501. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_29"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems and New Computing Paradigms. LNCS, vol. 5380, pp. 1\u201344. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89437-7_1"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Inverso, O., Trubiani, C., Tuosto. ,E.: Abstractions for collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 243\u2013260. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_15"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Iosti, S., Peled, D., Aharon, K., Bensalem, S., Goldberg, Y.: Synthesizing control for a system with black box environment, based on deep learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 457\u2013472. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_27"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-319-47166-2_37","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"S J\u00e4hnichen","year":"2016","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems track introduction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 535\u2013538. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_37"},{"key":"10_CR33","unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. CoRR abs\/1108.5643 (2011)"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Kosak, O., et al.: Swarm and collective capabilities for multipotent robot ensembles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 525\u2013540. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_31"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Kosak, O., Huhn, L., Bohn, F., Wanninger, C., Hofmann, A., Reif, W.: Maple-Swarm: programming collective behavior for ensembles by extending HTN-planning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 507\u2013524. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_30"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Kosak, O., Wanninger, C., Angerer, A., Hoffmann, A., Schiendorfer, A., Seebach, H.: Towards self-organizing swarms of reconfigurable self-aware robots. In: Elnikety, S., Lewis, P.R., M\u00fcller-Schloer, C. (eds.) 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, 12\u201316 September 2016, pp. 204\u2013209. IEEE (2016)","DOI":"10.1109\/FAS-W.2016.52"},{"issue":"1","key":"10_CR37","doi-asserted-by":"publisher","first-page":"17","DOI":"10.3390\/s19010017","volume":"19","author":"O Kosak","year":"2019","unstructured":"Kosak, O., Wanninger, C., Hoffmann, A., Ponsar, H., Reif, W.: Multipotent systems: combining planning, self-organization, and reconfiguration in modular robot ensembles. Sensors 19(1), 17 (2019)","journal-title":"Sensors"},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","year":"2014","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2014. LNCS, vol. 8802. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9"},{"key":"10_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","year":"2016","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2016. LNCS, vol. 9952. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2"},{"key":"10_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03424-5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","year":"2018","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2018. LNCS, vol. 11246. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5"},{"key":"10_CR41","unstructured":"Microsoft Corporation: TypeScript: Typed JavaScript at any scale (2020). https:\/\/www.typescriptlang.org\/ . Accessed 8 Aug 2020"},{"key":"10_CR42","unstructured":"Nielson, F., Hansen, R.R., Nielson, H.R.: Adaptive security policies. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 507\u2013524. Springer, Cham (2020)"},{"key":"10_CR43","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Palac\u00edn, D., Mirandola, R.: Dealing with uncertainties in the performance modelling of software systems. In: Seinturier, L., Bure\u0161, T., McGregor, J.D. (eds.) Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), QoSA 2014, Marcq-en-Baroeul, Lille, France, 30 June\u201304 July 2014, pp. 33\u201342. ACM (2014)","DOI":"10.1145\/2602576.2602582"},{"key":"10_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-319-99154-2_22","volume-title":"Quantitative Evaluation of Systems","author":"P Piho","year":"2018","unstructured":"Piho, P., Hillston, J.: Policy synthesis for collective dynamics. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 356\u2013372. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_22"},{"key":"10_CR45","unstructured":"Quigley, M., et\u00a0al.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)"},{"key":"10_CR46","unstructured":"Reisig, W.: Composition of component models - a key to construct big systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 507\u2013524. Springer, Cham (2020)"},{"key":"10_CR47","doi-asserted-by":"publisher","first-page":"36","DOI":"10.3389\/frobt.2020.00036","volume":"7","author":"M Schranz","year":"2020","unstructured":"Schranz, M., Umlauft, M., Sende, M., Elmenreich, W.: Swarm robotic behaviors and current applications. Front. Rob. AI 7, 36 (2020)","journal-title":"Front. Rob. AI"},{"key":"10_CR48","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrmann, J., Tegeler, T., Steffen, B.: Guaranteeing type consistency in collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 311\u2013328. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_19"},{"key":"10_CR49","doi-asserted-by":"crossref","unstructured":"S\u00fcrmeli, J.: Epistemic logic in ensemble specification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 329\u2013343. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_20"},{"key":"10_CR50","doi-asserted-by":"crossref","unstructured":"Tognazzi, S., Petrov, T.: Centrality-preserving exact reductions of Multi-Layer Networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 397\u2013415. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_24"},{"key":"10_CR51","doi-asserted-by":"crossref","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: Differential equivalence yields network centrality. In: [40], pp. 186\u2013201 (2018)","DOI":"10.1007\/978-3-030-03424-5_13"},{"key":"10_CR52","unstructured":"van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B.P.: Handbook of Epistemic Logic. College Publications, London (2015)"},{"key":"10_CR53","doi-asserted-by":"crossref","unstructured":"Wirsing, M., De Nicola, R., H\u00f6lzl, M.: Introduction to \u201crigorous engineering of autonomic ensembles\u201d\u2013 track introduction. In: [38], pp. 96\u201398 (2014)","DOI":"10.1007\/978-3-662-45234-9_7"},{"key":"10_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16310-9","volume-title":"Software Engineering for Collective Autonomic Systems","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9"},{"key":"10_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-45499-3_23","volume-title":"Algebraic Methodology and Software Technology","author":"M Ying","year":"2000","unstructured":"Ying, M., Wirsing, M.: Approximate bisimilarity. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 309\u2013322. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45499-3_23"},{"key":"10_CR56","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Mariani, S.: Degrees of autonomy in coordinating collectives of self-driving vehicles. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 189\u2013204. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-61470-6_12"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61470-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,10]],"date-time":"2021-04-10T17:00:11Z","timestamp":1618074011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61470-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030614690","9783030614706"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61470-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"27 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}