{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:03:14Z","timestamp":1743019394480,"version":"3.40.3"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031751066"},{"type":"electronic","value":"9783031751073"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75107-3_2","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"13-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimality-Preserving Reduction of\u00a0Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Toller","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"2_CR1","unstructured":"Althoff, M.: An introduction to CORA 2015. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems (2015)"},{"issue":"21","key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1063\/1.2799998","volume":"127","author":"DF Anderson","year":"2007","unstructured":"Anderson, D.F.: A modified next reaction method for simulating chemical systems with time dependent propensities and delays. J. Chem. Phys. 127(21), 214107 (2007)","journal-title":"J. Chem. Phys."},{"issue":"7","key":"2_CR3","doi-asserted-by":"publisher","first-page":"1822","DOI":"10.1073\/pnas.0308265100","volume":"101","author":"D Angeli","year":"2004","unstructured":"Angeli, D., Ferrell, J.E., Sontag, E.D.: Detection of multistability, bifurcations, and hysteresis in a large class of biological positive-feedback systems. Proc. Natl. Acad. Sci. 101(7), 1822\u20131827 (2004)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1038\/s41467-019-08890-y","volume":"10","author":"MT Angulo","year":"2019","unstructured":"Angulo, M.T., Moog, C.H., Liu, Y.Y.: A theoretical framework for controlling complex microbial communities. Nat. Commun. 10(1), 1045 (2019)","journal-title":"Nat. Commun."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Antoulas, A.C.: Approximation of large-scale dynamical systems. SIAM (2005)","DOI":"10.1137\/1.9780898718713"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Frehse, G., Grosu, R., Ladan, H., Podelski, A., Wehrle, M.: A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: Computer Aided Verification, CAV, pp. 479\u2013494 (2012)","DOI":"10.1007\/978-3-642-31424-7_35"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Gast, N.: Mean field approximation of uncertain stochastic models. In: DSN, pp. 287\u2013298 (2016)","DOI":"10.1109\/DSN.2016.34"},{"issue":"5","key":"2_CR8","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"issue":"38","key":"2_CR9","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-030-85172-9_21","volume-title":"Quantitative Evaluation of Systems","author":"L Cardelli","year":"2021","unstructured":"Cardelli, L., Grosu, R., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Lumpability for uncertain continuous-time Markov chains. In: Abate, A., Marin, A. (eds.) QEST 2021. LNCS, vol. 12846, pp. 391\u2013409. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_21"},{"issue":"11","key":"2_CR11","doi-asserted-by":"publisher","first-page":"6557","DOI":"10.1109\/TAC.2023.3244093","volume":"68","author":"L Cardelli","year":"2023","unstructured":"Cardelli, L., Grosu, R., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Algorithmic minimization of uncertain continuous-time Markov chains. IEEE Trans. Autom. Control. 68(11), 6557\u20136572 (2023)","journal-title":"IEEE Trans. Autom. Control."},{"issue":"15","key":"2_CR12","doi-asserted-by":"publisher","first-page":"2175","DOI":"10.1093\/bioinformatics\/btab081","volume":"37","author":"L Cardelli","year":"2021","unstructured":"Cardelli, L., Perez-Verona, I.C., Tribastone, M., Tschaikowski, M., Vandin, A., Waizmann, T.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics 37(15), 2175\u20132182 (2021)","journal-title":"Bioinformatics"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-019-09761-7","author":"L Cardelli","year":"2019","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M.: From electric circuits to chemical networks. Nat. Comput. (2019). https:\/\/doi.org\/10.1007\/s11047-019-09761-7","journal-title":"Nat. Comput."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Comparing chemical reaction networks: a categorical and algorithmic perspective. In: Symposium on Logic in Computer Science, LICS, pp. 485\u2013494 (2016)","DOI":"10.1145\/2933575.2935318"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-662-54580-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10206, pp. 310\u2013328. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54580-5_19"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-319-63121-9_23","volume-title":"Models, Algorithms, Logics and Tools","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Syntactic Markovian bisimulation for chemical reaction networks. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 466\u2013483. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_23"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-99154-2_7","volume-title":"Quantitative Evaluation of Systems","author":"L Cardelli","year":"2018","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Guaranteed error bounds on approximate model abstractions through reachability analysis. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 104\u2013121. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_7"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.tcs.2019.03.018","volume":"777","author":"L Cardelli","year":"2019","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. Theoret. Comput. Sci. 777, 132\u2013154 (2019)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Chen, M., Herbert, S.L., Tomlin, C.J.: Fast reachable set approximations via state decoupling disturbances. In: CDC, pp. 191\u2013196 (2016)","DOI":"10.1109\/CDC.2016.7798268"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Chen, M., Tomlin, C.J.: Exact and efficient Hamilton-Jacobi reachability for decoupled systems. In: CDC, pp. 1297\u20131303 (2015)","DOI":"10.1109\/CDC.2015.7402390"},{"key":"2_CR21","unstructured":"Chen, T.Q., Rubanova, Y., Bettencourt, J., Duvenaud, D.K.: Neural ordinary differential equations. In: Conference on Neural Information Processing Systems, NIPS, pp. 6572\u20136583 (2018)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: Real-Time Systems Symposium, RTSS, pp. 183\u2013192 (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"2_CR23","unstructured":"Eberle, A.: Lecture notes in Markov processes, January 2008"},{"key":"2_CR24","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316658","volume-title":"Markov Processes - Characterization and Convergence","author":"SN Ethier","year":"1986","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes - Characterization and Convergence. Wiley, New York (1986)"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/3308897.3308909","volume":"46","author":"N Gast","year":"2019","unstructured":"Gast, N., Bortolussi, L., Tribastone, M.: Size expansions of mean field approximation: transient and steady-state analysis. ACM SIGMETRICS Perform. Eval. Rev. 46(3), 25\u201326 (2019)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"2_CR26","unstructured":"Hasani, R., et al.: Closed-form continuous-depth models (2021)"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-662-48057-1_23","volume-title":"Mathematical Foundations of Computer Science 2015","author":"G Iacobelli","year":"2015","unstructured":"Iacobelli, G., Tribastone, M., Vandin, A.: Differential bisimulation for a Markovian process algebra. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 293\u2013306. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48057-1_23"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-030-61362-4_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles","author":"M Jaeger","year":"2020","unstructured":"Jaeger, M., Bacci, G., Bacci, G., Larsen, K.G., Jensen, P.G.: Approximating euclidean by imprecise Markov decision processes. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12476, pp. 275\u2013289. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_15"},{"issue":"11","key":"2_CR29","first-page":"1","volume":"83","author":"J Kopfova","year":"2021","unstructured":"Kopfova, J., Nabelkova, P., Rachinskii, D., Rouf, S.C.: Dynamics of SIR model with vaccination and heterogeneous behavioral response of individuals modeled by the Preisach operator. J. Math. Biol. 83(11), 1 (2021)","journal-title":"J. Math. Biol."},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"2976","DOI":"10.1063\/1.1678692","volume":"57","author":"TG Kurtz","year":"1972","unstructured":"Kurtz, T.G.: The relationship between stochastic and deterministic models for chemical reactions. J. Chem. Phys. 57, 2976\u20132978 (1972)","journal-title":"J. Chem. Phys."},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"TG Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 7(1), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"2_CR33","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4g0s","volume-title":"Calculus of Variations and Optimal Control Theory: A Concise Introduction","author":"D Liberzon","year":"2011","unstructured":"Liberzon, D.: Calculus of Variations and Optimal Control Theory: A Concise Introduction. Princeton University Press, Princeton (2011)"},{"issue":"6","key":"2_CR34","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/j.automatica.2004.01.012","volume":"40","author":"J Lygeros","year":"2004","unstructured":"Lygeros, J.: On reachability and minimum cost optimal control. Automatica 40(6), 917\u2013927 (2004)","journal-title":"Automatica"},{"issue":"3","key":"2_CR35","doi-asserted-by":"publisher","first-page":"518","DOI":"10.2307\/1427522","volume":"25","author":"SP Meyn","year":"1993","unstructured":"Meyn, S.P., Tweedie, R.L.: Stability of Markovian processes III: foster-lyapunov criteria for continuous-time processes. Adv. Appl. Probab. 25(3), 518\u2013548 (1993)","journal-title":"Adv. Appl. Probab."},{"issue":"98","key":"2_CR36","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1021\/cr950223l","volume":"2","author":"MS Okino","year":"1998","unstructured":"Okino, M.S., Mavrovouniotis, M.L.: Simplification of mathematical models of chemical reaction systems. Chem. Rev. 2(98), 391\u2013408 (1998)","journal-title":"Chem. Rev."},{"issue":"6","key":"2_CR37","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1109\/9.863598","volume":"45","author":"GJ Pappas","year":"2000","unstructured":"Pappas, G.J., Lafferriere, G., Sastry, S.: Hierarchically consistent control systems. IEEE Trans. Autom. Control 45(6), 1144\u20131160 (2000)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"5","key":"2_CR38","first-page":"745","volume":"47","author":"GJ Pappas","year":"2002","unstructured":"Pappas, G.J., Simic, S.: Consistent abstractions of affine control systems. IEEE TAC 47(5), 745\u2013756 (2002)","journal-title":"IEEE TAC"},{"issue":"3","key":"2_CR39","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1103\/RevModPhys.87.925","volume":"87","author":"R Pastor-Satorras","year":"2015","unstructured":"Pastor-Satorras, R., Castellano, C., Van Mieghem, P., Vespignani, A.: Epidemic processes in complex networks. Rev. Mod. Phys. 87(3), 925 (2015)","journal-title":"Rev. Mod. Phys."},{"key":"2_CR40","unstructured":"Peixoto, T.P.: The netzschleuder network catalogue and repository (2020)"},{"key":"2_CR41","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0022112009992059","volume":"641","author":"CW Rowley","year":"2009","unstructured":"Rowley, C.W., Mezi\u0107, I., Bagheri, S., Schlatter, P., Henningson, D.S.: Spectral analysis of nonlinear flows. J. Fluid Mech. 641, 115\u2013127 (2009)","journal-title":"J. Fluid Mech."},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/natrevmats.2017.68","volume":"3","author":"NC Seeman","year":"2017","unstructured":"Seeman, N.C., Sleiman, H.F.: DNA nanotechnology. Nat. Rev. Mater. 3, 1\u201323 (2017)","journal-title":"Nat. Rev. Mater."},{"issue":"7","key":"2_CR43","doi-asserted-by":"publisher","first-page":"1449","DOI":"10.1007\/s11538-017-0277-2","volume":"79","author":"TJ Snowden","year":"2017","unstructured":"Snowden, T.J., van der Graaf, P.H., Tindall, M.J.: Methods of model reduction for large-scale biological systems: a survey of current methods and trends. Bull. Math. Biol. 79(7), 1449\u20131486 (2017)","journal-title":"Bull. Math. Biol."},{"issue":"12","key":"2_CR44","doi-asserted-by":"publisher","first-page":"2025","DOI":"10.1016\/S0005-1098(03)00235-8","volume":"39","author":"P Tabuada","year":"2003","unstructured":"Tabuada, P., Pappas, G.J.: Abstractions of Hamiltonian control systems. Automatica 39(12), 2025\u20132033 (2003)","journal-title":"Automatica"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: EGAC: a genetic algorithm to compare chemical reaction networks. In: Genetic and Evolutionary Computation Conference, GECCO, pp. 833\u2013840 (2017)","DOI":"10.1145\/3071178.3071265"},{"issue":"1","key":"2_CR46","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1093\/bioinformatics\/btp619","volume":"26","author":"T Toni","year":"2009","unstructured":"Toni, T., Stumpf, M.P.H.: Simulation-based model selection for dynamical systems in systems and population biology. Bioinformatics 26(1), 104\u2013110 (2009)","journal-title":"Bioinformatics"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Tribastone, M.: Behavioral relations in a process algebra for variants. In: Proceedings of the 18th International Software Product Line Conference-Volume 1, pp. 82\u201391 (2014)","DOI":"10.1145\/2648511.2648520"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Mayer, P., Wirsing, M.: Performance prediction of service-oriented systems with layered queueing networks. In International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), pp. 51\u201365 (2010)","DOI":"10.1007\/978-3-642-16561-0_12"},{"key":"2_CR49","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.tcs.2013.07.029","volume":"538","author":"M Tschaikowski","year":"2014","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid lumpability in Markovian process algebra. Theoret. Comput. Sci. 538, 140\u2013166 (2014)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2013.08.016","volume":"517","author":"M Tschaikowski","year":"2014","unstructured":"Tschaikowski, M., Tribastone, M.: Tackling continuous state-space explosion in a Markovian process algebra. Theoret. Comput. Sci. 517, 1\u201333 (2014)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"2_CR51","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.jlamp.2014.10.004","volume":"84","author":"M Tschaikowski","year":"2015","unstructured":"Tschaikowski, M., Tribastone, M.: A unified framework for differential aggregations in Markovian process algebra. J. Logical Algebraic Methods Program. 84(2), 238\u2013258 (2015)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"2_CR52","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.peva.2016.12.005","volume":"109","author":"M Tschaikowski","year":"2017","unstructured":"Tschaikowski, M., Tribastone, M.: Spatial fluid limits for stochastic mobile networks. J. Perform. Eval. 109, 52\u201376 (2017)","journal-title":"J. Perform. Eval."},{"key":"2_CR53","first-page":"2160","volume":"49","author":"A van der Schaft","year":"2004","unstructured":"van der Schaft, A.: Equivalence of dynamical systems by bisimulation. IEEE TAC 49, 2160\u20132172 (2004)","journal-title":"IEEE TAC"},{"issue":"1","key":"2_CR54","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pcbi.1004012","volume":"11","author":"EO Voit","year":"2015","unstructured":"Voit, E.O., Martens, H.A., Omholt, S.W.: 150 years of the mass action law. PLOS Comput. Biol. 11(1), 1\u20137 (2015)","journal-title":"PLOS Comput. Biol."},{"issue":"2","key":"2_CR55","first-page":"1023","volume":"67","author":"M Whitby","year":"2022","unstructured":"Whitby, M., Cardelli, L., Kwiatkowska, M., Laurenti, L., Tribastone, M., Tschaikowski, M.: PID control of biochemical reaction networks. IEEE TAC 67(2), 1023\u20131030 (2022)","journal-title":"IEEE TAC"},{"key":"2_CR56","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-88479-8_13","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M Wirsing","year":"2008","unstructured":"Wirsing, M., et al.: Sensoria patterns: augmenting service engineering with formal analysis, transformation and dynamicity. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 170\u2013190. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88479-8_13"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:10:53Z","timestamp":1729926653000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","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":"Crete","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}