{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T04:39:30Z","timestamp":1780461570263,"version":"3.54.1"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T00:00:00Z","timestamp":1611014400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T00:00:00Z","timestamp":1611014400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Chair Complex Systems Engineering - Ecole polytechnique, THALES, DGA, FX, Dassault Aviation, DCNS Research, ENSTA Paris, Telecom Paris, and Fondation ParisTech"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10270-020-00858-7","type":"journal-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T07:03:06Z","timestamp":1611039786000},"page":"711-724","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Guaranteed master for interval-based cosimulation"],"prefix":"10.1007","volume":"20","author":[{"given":"Adrien","family":"Le Co\u00ebnt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julien","family":"Alexandre\u00a0dit\u00a0Sandretto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Chapoutot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,1,19]]},"reference":[{"key":"858_CR1","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: DynIbex. https:\/\/perso.ensta-paris.fr\/~chapoutot\/dynibex\/"},{"key":"858_CR2","first-page":"79","volume":"22","author":"J Alexandre dit Sandretto","year":"2016","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge\u2013Kutta methods. Reliab. Comput. 22, 79 (2016)","journal-title":"Reliab. Comput."},{"key":"858_CR3","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Hybrid Systems: Computation and Control, pp. 173\u2013182 (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"858_CR4","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Verification of uncertain embedded systems by computing reachable sets based on zonotopes. In: Proceedings of the 17th IFAC World Congress, vol. 41(2), pp. 5125\u20135130 (2008)","DOI":"10.3182\/20080706-5-KR-1001.00861"},{"key":"858_CR5","volume-title":"Numerical Methods for Partial Differential Equations","author":"WF Ames","year":"2014","unstructured":"Ames, W.F.: Numerical Methods for Partial Differential Equations. Academic Press, Cambridge (2014)"},{"key":"858_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-662-44926-4_6","volume-title":"Progress in Differential-Algebraic Equations","author":"M Arnold","year":"2014","unstructured":"Arnold, M., Clau\u00df, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0. In: Sch\u00f6ps, S., Bartel, A., G\u00fcnther, M., ter Maten, E., M\u00fcller, P. (eds.) Progress in Differential-Algebraic Equations, pp. 107\u2013125. Springer, Berlin (2014)"},{"key":"858_CR7","first-page":"89","volume":"45","author":"S Blanes","year":"2008","unstructured":"Blanes, S., Casas, F., Murua, A.: Splitting and composition methods in the numerical integration of differential equations. Boletin de la Sociedad Espanola de Matematica Aplicada 45, 89\u2013145 (2008)","journal-title":"Boletin de la Sociedad Espanola de Matematica Aplicada"},{"key":"858_CR8","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-38088-4_8","volume-title":"NASA Formal Methods, LNCS","author":"O Bouissou","year":"2013","unstructured":"Bouissou, O., Chapoutot, A., Djoudi, A.: Enclosing temporal evolution of dynamical systems using numerical methods. In: Brat, G., Rungta, N., Venet, A. (eds.) NASA Formal Methods, LNCS, vol. 7871, pp. 108\u2013123. Springer, Berlin (2013)"},{"key":"858_CR9","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Martel, M.: GRKLib: a guaranteed Runge Kutta Library. In: Scientific Computing, Computer Arithmetic and Validated Numerics (2006)","DOI":"10.1109\/SCAN.2006.20"},{"key":"858_CR10","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Mimram, S., Chapoutot, A.: HySon: set-based simulation of hybrid systems. In: Rapid System Prototyping. IEEE (2012)","DOI":"10.1109\/RSP.2012.6380694"},{"key":"858_CR11","doi-asserted-by":"crossref","unstructured":"Broman, D., Brooks, C., Greenberg, L., Lee, E.A.., Masin, M., Tripakis, S., Wetter, M.: Determinate composition of FMUs for co-simulation. In: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 1\u201312. IEEE (2013)","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"858_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-34596-5","volume-title":"Fluid\u2013Structure Interaction: Modelling, Simulation, Optimisation","author":"H-J Bungartz","year":"2006","unstructured":"Bungartz, H.-J., Sch\u00e4fer, M.: Fluid\u2013Structure Interaction: Modelling, Simulation, Optimisation, vol. 53. Springer, Berlin (2006)"},{"key":"858_CR13","doi-asserted-by":"crossref","unstructured":"Chen, X., Abraham, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: IEEE 33rd Real-Time Systems Symposium, pp. 183\u2013192. IEEE Computer Society (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"858_CR14","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, pp. 258\u2013263. Springer, Berlin (2013)"},{"issue":"5s","key":"858_CR15","first-page":"1","volume":"16","author":"X Chen","year":"2017","unstructured":"Chen, X., Mover, S., Sankaranarayanan, S.: Compositional relational abstraction for nonlinear hybrid systems. ACM Trans. Embed. Comput. Syst. 16(5s), 1\u201319 (2017)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"858_CR16","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: 2016 IEEE Real-Time Systems Symposium (RTSS), pp. 13\u201324. IEEE (2016)","DOI":"10.1109\/RTSS.2016.011"},{"key":"858_CR17","volume-title":"Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monographs","author":"LH de Figueiredo","year":"1997","unstructured":"de Figueiredo, L.H., Stolfi, J.: Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monographs. IMPA\/CNPq, Rio de Janeiro (1997)"},{"key":"858_CR18","first-page":"57","volume":"22","author":"JA dit Sandretto","year":"2016","unstructured":"dit Sandretto, J.A., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge\u2013Kutta methods. Reliab. Comput. 22, 57 (2016)","journal-title":"Reliab. Comput."},{"issue":"1","key":"858_CR19","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s11075-014-9889-x","volume":"69","author":"T Dzetkuli\u010d","year":"2015","unstructured":"Dzetkuli\u010d, T.: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis. Numer. Algorithms 69(1), 183\u2013205 (2015)","journal-title":"Numer. Algorithms"},{"key":"858_CR20","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-88387-6_14","volume-title":"Automated Technology for Verification and Analysis","author":"A Eggers","year":"2008","unstructured":"Eggers, A., Fr\u00e4nzle, M., Herde, C.: SAT modulo ODE: a direct SAT approach to hybrid systems. In: Cha, S., Choi, J.Y., Kim, M., Lee, I., Viswanathan, M. (eds.) Automated Technology for Verification and Analysis. LNCS, vol. 5311, pp. 171\u2013185. Springer, Berlin (2008)"},{"key":"858_CR21","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Computer Aided Verification. LNCS, vol. 6806, pp. 379\u2013395. Springer, Berlin (2011)"},{"key":"858_CR22","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1007\/978-3-540-68111-3_144","volume-title":"Parallel Processing and Applied Mathematics","author":"K Gajda","year":"2008","unstructured":"Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A survey of interval Runge\u2013Kutta and multistep methods for solving the initial value problem. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) Parallel Processing and Applied Mathematics. LNCS, vol. 4967, pp. 1361\u20131371. Springer, Berlin (2008)"},{"key":"858_CR23","doi-asserted-by":"crossref","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9\u201311, 2005, Proceedings, pp. 291\u2013305 (2005)","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"858_CR24","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art (2017). arXiv preprint arXiv:1702.00686"},{"issue":"3","key":"858_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3179993","volume":"51","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 1\u201333 (2018)","journal-title":"ACM Comput. Surv."},{"key":"858_CR26","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-030-03424-5_34","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Thule, C., Deantoni, J., Larsen, P.G., Vangheluwe, H.: Co-simulation: the past, future, and open challenges. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pp. 504\u2013520. Springer, Cham (2018)"},{"key":"858_CR27","unstructured":"Gomes, C., Thule, C., Larsen, P.G., Denil, J., Vangheluwe, H.: Co-simulation of continuous systems: a tutorial (2018). arXiv preprint arXiv:1809.08463"},{"key":"858_CR28","volume-title":"Solving Ordinary Differential Equations\u00a0I: Nonstiff Problems","author":"E Hairer","year":"2009","unstructured":"Hairer, E., Norsett, S.P., Wanner, G.: Solving Ordinary Differential Equations\u00a0I: Nonstiff Problems, 2nd edn. Springer, Berlin (2009)","edition":"2"},{"key":"858_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05221-7","volume-title":"Solving Ordinary Differential Equations\u00a0II: Stiff and Differential- Algebraic Problems","author":"E Hairer","year":"1996","unstructured":"Hairer, E., Wanner, G.: Solving Ordinary Differential Equations\u00a0II: Stiff and Differential- Algebraic Problems, 1st edn. Springer, Berlin (1996)","edition":"1"},{"key":"858_CR30","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.: On the need for practical formal methods. In: International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 18\u201326. Springer, Berlin (1998)","DOI":"10.1007\/BFb0055332"},{"key":"858_CR31","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B.: Tools for formal specification, verification, and validation of requirements. In: Proceedings of COMPASS\u201997: 12th Annual Conference on Computer Assurance, pp. 35\u201347. IEEE (1997)"},{"issue":"2","key":"858_CR32","doi-asserted-by":"publisher","first-page":"337","DOI":"10.4208\/cicp.291210.290411s","volume":"12","author":"G Hou","year":"2012","unstructured":"Hou, G., Wang, J., Layton, A.: Numerical methods for fluid-structure interaction: a review. Commun. Comput. Phys. 12(2), 337\u2013377 (2012)","journal-title":"Commun. Comput. Phys."},{"key":"858_CR33","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-662-46681-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Immler","year":"2015","unstructured":"Immler, F.: Verified reachability analysis of continuous systems. In: Baier, C., Tinelli, C. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol. 9035, pp. 37\u201351. Springer, Berlin (2015)"},{"key":"858_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, Berlin (2001)"},{"key":"858_CR35","doi-asserted-by":"crossref","unstructured":"Jensen, J.C., Chang, D.H., Lee, E.A.: A model-based design methodology for cyber-physical systems. In: 2011 7th International Wireless Communications and Mobile Computing Conference, pp. 1666\u20131671. IEEE (2011)","DOI":"10.1109\/IWCMC.2011.5982785"},{"issue":"2\u20133","key":"858_CR36","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1009810318420","volume":"4","author":"R K\u00fcbler","year":"2000","unstructured":"K\u00fcbler, R., Schiehlen, W.: Modular simulation in multibody system dynamics. Multibody Syst. Dyn. 4(2\u20133), 107\u2013127 (2000)","journal-title":"Multibody Syst. Dyn."},{"key":"858_CR37","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-662-03567-2_10","volume-title":"Mathematical Visualization","author":"W K\u00fchn","year":"1998","unstructured":"K\u00fchn, W.: Zonotope dynamics in numerical quality control. In: Hege, H.C., Polthier, K. (eds.) Mathematical Visualization, pp. 125\u2013134. Springer, Berlin (1998)"},{"key":"858_CR38","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Miku\u010dionis, M., Muniz, M., Srba, J., Taankvist, J.H.: Online and compositional learning of controllers with application to floor heating. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 244\u2013259. Springer, Berlin (2016)","DOI":"10.1007\/978-3-662-49674-9_14"},{"issue":"3","key":"858_CR39","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10703-017-0305-8","volume":"53","author":"A Le Co\u00ebnt","year":"2018","unstructured":"Le Co\u00ebnt, A., Sandretto, J.A., Chapoutot, A., Fribourg, L.: An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. 53(3), 363\u2013383 (2018)","journal-title":"Formal Methods Syst. Des."},{"key":"858_CR40","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.tcs.2018.01.021","volume":"750","author":"A Le Co\u00ebnt","year":"2018","unstructured":"Le Co\u00ebnt, A., Fribourg, L., Markey, N., De Vuyst, F., Chamoin, L.: Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750, 53\u201368 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"858_CR41","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: Design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369. IEEE (2008)","DOI":"10.1109\/ISORC.2008.25"},{"issue":"10","key":"858_CR42","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1016\/j.apnum.2006.10.006","volume":"57","author":"Y Lin","year":"2007","unstructured":"Lin, Y., Stadtherr, M.A.: Validated solutions of initial value problems for parametric odes. Appl. Numer. Math. 57(10), 1145\u20131162 (2007)","journal-title":"Appl. Numer. Math."},{"key":"858_CR43","first-page":"255","volume-title":"Computer Arithmetic","author":"RJ Lohner","year":"1987","unstructured":"Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E., Kulisch, U., Ullrich, Ch. (eds.) Computer Arithmetic, pp. 255\u2013286. Teubner, Stuttgart (1987)"},{"issue":"1","key":"858_CR44","doi-asserted-by":"publisher","first-page":"N21","DOI":"10.37236\/259","volume":"16","author":"T-W Ma","year":"2009","unstructured":"Ma, T.-W.: Higher chain formula proved by combinatorics. Electron. J. Comb. 16(1), N21 (2009)","journal-title":"Electron. J. Comb."},{"key":"858_CR45","doi-asserted-by":"crossref","unstructured":"Makino, K., Berz, M.: Rigorous integration of flows and odes using Taylor models. In: Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC \u201909, pp. 79\u201384. ACM, New York (2009)","DOI":"10.1145\/1577190.1577206"},{"key":"858_CR46","volume-title":"Interval Analysis. Series in Automatic Computation","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Series in Automatic Computation. Prentice Hall, Upper Saddle River (1966)"},{"issue":"4\u20136","key":"858_CR47","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1080\/10556788.2018.1459620","volume":"33","author":"O Mullier","year":"2018","unstructured":"Mullier, O., Chapoutot, A., Sandretto, J.A.D.: Validated computation of the local truncation error of Runge\u2013Kutta methods with automatic differentiation. Optim. Methods Softw. 33(4\u20136), 718\u2013728 (2018)","journal-title":"Optim. Methods Softw."},{"issue":"1","key":"858_CR48","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comp. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comp."},{"issue":"2","key":"858_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 1\u201341 (2015)","journal-title":"ACM Comput. Surv."},{"key":"858_CR50","doi-asserted-by":"crossref","unstructured":"Quarteroni, A., Valli, A.: Domain Decomposition Methods for Partial Differential Equations. Oxford University Press, Oxford (1999)","DOI":"10.1007\/978-94-011-4647-0_11"},{"key":"858_CR51","doi-asserted-by":"crossref","unstructured":"Schierz, T., Arnold, M., Clau\u00df, C.: Co-simulation with communication step size control in an fmi compatible master algorithm. In: Proceedings of the 9th International MODELICA Conference; September 3\u20135; 2012; Munich; Germany, number 076, pp. 205\u2013214. Link\u00f6ping University Electronic Press (2012)","DOI":"10.3384\/ecp12076205"},{"key":"858_CR52","volume-title":"The Finite Element Method","author":"OC Zienkiewicz","year":"1977","unstructured":"Zienkiewicz, O.C., Taylor, R.L., Nithiarasu, P., Zhu, J.Z.: The Finite Element Method, vol. 3. McGraw-hill, London (1977)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00858-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00858-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00858-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:09:30Z","timestamp":1697587770000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00858-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,19]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["858"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00858-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,19]]},"assertion":[{"value":"28 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 December 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 December 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 January 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}