{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:47:21Z","timestamp":1775260041050,"version":"3.50.1"},"publisher-location":"Cham","reference-count":70,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030034238","type":"print"},{"value":"9783030034245","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-03424-5_34","type":"book-chapter","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T09:58:12Z","timestamp":1540893492000},"page":"504-520","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Co-simulation: The Past, Future, and Open Challenges"],"prefix":"10.1007","author":[{"given":"Cl\u00e1udio","family":"Gomes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Casper","family":"Thule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Deantoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,31]]},"reference":[{"key":"34_CR1","unstructured":"IEEE. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) - Federate Interface Specification. IEEE Standard 1516-2010 (2010). https:\/\/standards.ieee.org\/findstds\/standard\/1516-2010.html"},{"key":"34_CR2","unstructured":"\u00c5str\u00f6m, K.J., Elmqvist, H., Mattsson, S.E.: Evolution of continuous-time modeling and simulation. In: ESM, pp. 9\u201318 (1998)"},{"issue":"6","key":"34_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1111\/j.1559-3584.1998.tb02962.x","volume":"110","author":"EP Andert Jr","year":"1998","unstructured":"Andert Jr., E.P., Morgan, D.: Collaborative virtual prototyping and test. Naval Eng. J. 110(6), 17\u201323 (1998). http:\/\/www.ingentaconnect.com\/content\/asne\/nej\/1998\/00000110\/00000006\/art00007","journal-title":"Naval Eng. J."},{"issue":"1","key":"34_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F Arbab","year":"1993","unstructured":"Arbab, F., Herman, I., Spilling, P.: An overview of manifold and its implementation. Concurrency Pract. Exper. 5(1), 23\u201370 (1993). https:\/\/doi.org\/10.1002\/cpe.4330050103","journal-title":"Concurrency Pract. Exper."},{"issue":"1","key":"34_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1021909032551","volume":"41","author":"M Arnold","year":"2001","unstructured":"Arnold, M., G\u00fcnther, M.: Preconditioned dynamic iteration for coupled differential-algebraic systems. BIT Numer. Math. 41(1), 1\u201325 (2001)","journal-title":"BIT Numer. Math."},{"key":"34_CR6","unstructured":"Bjornson, R., Carriero, N., Gelernter, D., Mattson, T., Kaminsky, D., Sherman, A.: Experience with linda. Yale University Computer Science Department, Technical report RR-866 (1991)"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, pp. 105\u2013114. Link\u00f6ping University Electronic Press, Link\u00f6pings universitet, Dresden, Germany, June 2011","DOI":"10.3384\/ecp11063105"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-38088-4_8","volume-title":"NASA Formal Methods","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.) NFM 2013. LNCS, vol. 7871, pp. 108\u2013123. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_8"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Boulanger, F., Hardebolle, C.: Simulation of multi-formalism models with ModHel\u2019X. In: Proceedings of ICST 2008, pp. 318\u2013327. IEEE Computer Society (2008)","DOI":"10.1109\/ICST.2008.15"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Requirements for Hybrid Cosimulation. Technical report (2014)","DOI":"10.21236\/ADA614376"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-33365-1_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Carter","year":"2012","unstructured":"Carter, R., Navarro-L\u00f3pez, E.M.: Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 59\u201374. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33365-1_6"},{"key":"34_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-30260-3","volume-title":"Continuous System Simulation","author":"FE Cellier","year":"2006","unstructured":"Cellier, F.E., Kofman, E.: Continuous System Simulation. Springer, New York (2006). https:\/\/doi.org\/10.1007\/0-387-30260-3"},{"issue":"4\u20135","key":"34_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1076\/vesd.36.4.359.3546","volume":"36","author":"BC Chen","year":"2001","unstructured":"Chen, B.C., Peng, H.: Differential-braking-based rollover prevention for sport utility vehicles with human-in-the-loop evaluations. Vehicle Syst. Dyn. 36(4\u20135), 359\u2013389 (2001)","journal-title":"Vehicle Syst. Dyn."},{"key":"34_CR14","unstructured":"Controllab Products: Design of a Compensated Motion Crane using INTO-CPS. Technical report, Press Release EU, Enschede, Netherlands (2018)"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Cremona, F., Lohstroh, M., Broman, D., Lee, E.A., Masin, M., Tripakis, S.: Hybrid co-simulation: it\u2019s about time. Softw. Syst. Model. (2017)","DOI":"10.1145\/3239372.3242896"},{"issue":"6","key":"34_CR16","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1177\/0037549716684552","volume":"93","author":"J Denil","year":"2017","unstructured":"Denil, J., De Meulenaere, P., Demeyer, S., Vangheluwe, H.: DEVS for AUTOSAR-based system deployment modeling and simulation. Simulation 93(6), 489\u2013513 (2017). http:\/\/journals.sagepub.com\/doi\/10.1177\/0037549716684552","journal-title":"Simulation"},{"key":"34_CR17","unstructured":"Denil, J., Klikovits, S., Mosterman, P.J., Vallecillo, A., Vangheluwe, H.: The experiment model and validity frame in M&S. In: Proceedings of the Symposium on Theory of Modeling and Simulation, vol. 49 (2017)"},{"key":"34_CR18","unstructured":"Denil, J., Meyers, B., De Meulenaere, P., Vangheluwe, H.: Explicit semantic adaptation of hybrid formalisms for FMI co-simulation. In: Barros, F., Wang, M.H., Pr\u00e4hofer, H., Hu, X. (eds.) Symposium on Theory of Modeling and Simulation: DEVS Integrative M&S Symposium, pp. 99\u2013106. Society for Computer Simulation International San Diego, CA, USA, Alexandria, Virginia, April 2015"},{"key":"34_CR19","unstructured":"Distefano, J.: Feedback and Control Systems (2013)"},{"issue":"1","key":"34_CR20","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., et al.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"issue":"4","key":"34_CR21","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1016\/j.asej.2012.12.003","volume":"4","author":"AM El-Garhy","year":"2013","unstructured":"El-Garhy, A.M., El-Sheikh, G.A., El-Saify, M.H.: Fuzzy life-extending control of anti-lock braking system. Ain Shams Eng. J. 4(4), 735\u2013751 (2013). https:\/\/doi.org\/10.1016\/j.asej.2012.12.003","journal-title":"Ain Shams Eng. J."},{"key":"34_CR22","doi-asserted-by":"crossref","unstructured":"Foldager, F., Larsen, P.G., Green, O.: Development of a driverless lawn mower using co-simulation. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, September 2017","DOI":"10.1007\/978-3-319-74781-1_23"},{"issue":"10","key":"34_CR23","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"RM Fujimoto","year":"1990","unstructured":"Fujimoto, R.M.: Parallel discrete event simulation. Commun. ACM 33(10), 30\u201353 (1990)","journal-title":"Commun. ACM"},{"key":"34_CR24","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. Technical report, Pittsburgh, PA, USA (1994)"},{"issue":"2","key":"34_CR25","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/129630.376083","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96 (1992). https:\/\/doi.org\/10.1145\/129630.376083","journal-title":"Commun. ACM"},{"key":"34_CR26","doi-asserted-by":"publisher","unstructured":"Glaessgen, E., Stargel, D.: The digital twin paradigm for future NASA and U.S. air force vehicles. In: Structures, Structural Dynamics, and Materials Conference: Special Session on the Digital Twin, pp. 1\u201314. American Institute of Aeronautics and Astronautics, Reston, Virigina, April 2012. https:\/\/doi.org\/10.2514\/6.2012-1818","DOI":"10.2514\/6.2012-1818"},{"key":"34_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-319-74781-1_24","volume-title":"Software Engineering and Formal Methods","author":"C Gomes","year":"2018","unstructured":"Gomes, C., Karalis, P., Navarro-L\u00f3pez, E.M., Vangheluwe, H.: Approximated stability analysis of bi-modal hybrid co-simulation scenarios. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 345\u2013360. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_24"},{"key":"34_CR28","unstructured":"Gomes, C., Legat, B., Jungers, R.M., Vangheluwe, H.: Stable adaptive co-simulation: a switched systems approach. In: IUTAM Symposium on Co-Simulation and Solver Coupling, Darmstadt, Germany (2017). To appear"},{"key":"34_CR29","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: State of the art. Technical report, February 2017. http:\/\/arxiv.org\/abs\/1702.00686"},{"key":"34_CR30","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3) (2018). Article 49","DOI":"10.1145\/3179993"},{"key":"34_CR31","doi-asserted-by":"crossref","unstructured":"Gu, B., Asada, H.H.: Co-simulation of algebraically coupled dynamic subsystems. In: American Control Conference, vol. 3, pp. 2273\u20132278. IEEE, Arlington (2001)","DOI":"10.1016\/B978-008043944-0\/50881-7"},{"key":"34_CR32","unstructured":"Hafner, I., Popper, N.: On the terminology and structuring of co-simulation methods. In: Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, pp. 67\u201376. ACM Press, New York (2017). http:\/\/dl.acm.org\/citation.cfm?doid=3158191.3158203"},{"key":"34_CR33","doi-asserted-by":"crossref","unstructured":"Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems (1996)","DOI":"10.1007\/978-3-642-05221-7"},{"key":"34_CR34","doi-asserted-by":"publisher","unstructured":"Himmler, A.: Hardware-in-the-loop technology enabling flexible testing processes. In: 51st AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition, pp. 1\u20138. American Institute of Aeronautics and Astronautics, Grapevine (Dallas\/Ft. Worth Region), Texas, January 2013. https:\/\/doi.org\/10.2514\/6.2013-816","DOI":"10.2514\/6.2013-816"},{"key":"34_CR35","unstructured":"IEEE: IEEE Standard for Distributed Interactive Simulation-Application Protocols (2012). Publication Title: IEEE Std 1278.1-2012 (Revision of IEEE Std 1278.1-1995)"},{"key":"34_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-319-06200-6_9","volume-title":"NASA Formal Methods","author":"F Immler","year":"2014","unstructured":"Immler, F.: Formally verified computation of enclosures of solutions of ordinary differential equations. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 113\u2013127. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06200-6_9"},{"key":"34_CR37","doi-asserted-by":"publisher","unstructured":"Jo, H.H., Parsaei, H.R., Sullivan, W.G.: Principles of concurrent engineering. In: Parsaei, H.R., Sullivan, W.G. (eds) Concurrent Engineering, pp. 3\u201323. Springer, Boston (1993). https:\/\/doi.org\/10.1007\/978-1-4615-3062-6_1","DOI":"10.1007\/978-1-4615-3062-6_1"},{"key":"34_CR38","unstructured":"J\u00f8rgensen, N.: The Boeing 777: development life cycle follows artifact. In: World Conference on Integrated Design and Process Technology (IDPT), pp. 25\u201330. Citeseer (2006)"},{"issue":"1","key":"34_CR39","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/0376-5075(79)90053-9","volume":"3","author":"J Kent Peacock","year":"1979","unstructured":"Kent Peacock, J., Wong, J., Manning, E.G.: Distributed simulation using a network of processors. Comput. Netw. (1976) 3(1), 44\u201356 (1979). http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0376507579900539","journal-title":"Comput. Netw. (1976)"},{"issue":"2\u20133","key":"34_CR40","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."},{"issue":"2","key":"34_CR41","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1076\/1387-3954(200006)6:2;1-M;FT093","volume":"6","author":"R K\u00fcbler","year":"2000","unstructured":"K\u00fcbler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), 93\u2013113 (2000)","journal-title":"Math. Comput. Model. Dyn. Syst."},{"issue":"7","key":"34_CR42","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"34_CR43","doi-asserted-by":"crossref","unstructured":"Le Marrec, P., Valderrama, C.A., Hessel, F., Jerraya, A.A., Attia, M., Cayrol, O.: Hardware, software and mechanical cosimulation for automotive applications. In: 9th International Workshop on Rapid System Prototyping, pp. 202\u2013206 (1998)","DOI":"10.1109\/IWRSP.1998.676692"},{"key":"34_CR44","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.conengprac.2013.10.010","volume":"23","author":"W Li","year":"2014","unstructured":"Li, W., Zhang, X., Li, H.: Co-simulation platforms for co-design of networked control systems: an overview. Control Eng. Pract. 23, 44\u201356 (2014)","journal-title":"Control Eng. Pract."},{"key":"34_CR45","doi-asserted-by":"crossref","unstructured":"Liboni, G., Deantoni, J., Portaluri, A., Quaglia, D., De Simone, R.: Beyond time-triggered co-simulation of cyber-physical systems for performance and accuracy improvements. In: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Manchester, United Kingdom, January 2018. https:\/\/hal.inria.fr\/hal-01675396","DOI":"10.1145\/3180665.3180668"},{"key":"34_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-68413-8_6","volume-title":"Formal Methods in Systems Biology","author":"O Maler","year":"2008","unstructured":"Maler, O., Batt, G.: Approximating continuous systems by timed automata. In: Fisher, J. (ed.) FMSB 2008. LNCS, vol. 5054, pp. 77\u201389. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68413-8_6"},{"key":"34_CR47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2011-1","volume-title":"Fundamentals of Computer-Aided Circuit Simulation","author":"WJ McCalla","year":"1987","unstructured":"McCalla, W.J.: Fundamentals of Computer-Aided Circuit Simulation, vol. 37. Springer, New York (1987). https:\/\/doi.org\/10.1007\/978-1-4613-2011-1"},{"issue":"8","key":"34_CR48","doi-asserted-by":"publisher","first-page":"1114","DOI":"10.1109\/5.400452","volume":"83","author":"D Miller","year":"1995","unstructured":"Miller, D., Thorpe, J.: SIMNET: the advent of simulator networking. Proc. IEEE 83(8), 1114\u20131123 (1995). http:\/\/ieeexplore.ieee.org\/document\/400452\/","journal-title":"Proc. IEEE"},{"issue":"3","key":"34_CR49","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1137\/0904036","volume":"4","author":"AR Newton","year":"1983","unstructured":"Newton, A.R., Sangiovanni-Vincentelli, A.L.: Relaxation-based electrical simulation. SIAM J. Sci. Stat. Comput. 4(3), 485\u2013524 (1983)","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"34_CR50","unstructured":"Otter, M., Elmqvist, H.: The DSblock model interface for exchanging model components. In: Proceedings of the Eurosim 1995, Simulation Congress, pp. 505\u2013510 (1995)"},{"issue":"1","key":"34_CR51","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MIE.2016.2639825","volume":"11","author":"P Palensky","year":"2017","unstructured":"Palensky, P., Van Der Meer, A.A., Lopez, C.D., Joseph, A., Pan, K.: Cosimulation of intelligent power systems: fundamentals, software architecture, numerics, and coupling. IEEE Indus. Electr. Mag. 11(1), 34\u201350 (2017)","journal-title":"IEEE Indus. Electr. Mag."},{"key":"34_CR52","doi-asserted-by":"crossref","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Technical report, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands (1998)","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"34_CR53","unstructured":"Pedersen, N., Bojsen, T., Madsen, J.: Co-simulation of cyber physical systems with HMI for human in the loop investigations. In: Symposium on Theory of Modeling and Simulation, Society for Computer Simulation International, Virginia Beach, TMS\/DEVS 2017, Virginia, USA, pp. 1:1\u20131:12 (2017). http:\/\/dl.acm.org\/citation.cfm?id=3108905.3108906"},{"key":"34_CR54","doi-asserted-by":"crossref","unstructured":"Pedersen, N., Lausdahl, K., Sanchez, E.V., Thule, C., Larsen, P.G., Madsen, J.: Distributed co-simulation of embedded control software using INTO-CPS. In: International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Madrid, Spain, July 2017. To appear","DOI":"10.1007\/978-3-030-01470-4_3"},{"key":"34_CR55","doi-asserted-by":"publisher","unstructured":"Pedersen, N., Lausdahl, K., Vidal Sanchez, E., Larsen, P.G., Madsen, J.: Distributed co-simulation of embedded control software with exhaust gas recirculation water handling system using INTO-CPS. In: 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp. 73\u201382. SCITEPRESS - Science and Technology Publications (2017). https:\/\/doi.org\/10.5220\/0006412700730082","DOI":"10.5220\/0006412700730082"},{"key":"34_CR56","unstructured":"Prabhu, S.M., Mosterman, P.J.: Model-based design of a power window system: modeling, simulation and validation. In: Proceedings of IMAC-XXII: a Conference on Structural Dynamics, Society for Experimental Mechanics Inc, Dearborn, MI (2004)"},{"key":"34_CR57","doi-asserted-by":"crossref","unstructured":"Rowson, J.A.: Hardware\/Software co-simulation. In: 31st Conference on Design Automation, pp. 439\u2013440 (1994)","DOI":"10.1145\/196244.196458"},{"key":"34_CR58","unstructured":"Schweiger, G., Engel, G., Schoeggl, J., Hafner, I., Gomes, C., Nouidui, T.: Co-simulation \u2013 an empirical survey: applications, recent developments and future challenges. In: MATHMOD 2018 Extended Abstract Volume, pp. 125\u2013126. ARGESIM Publisher Vienna, Vienna, Austria (2018). https:\/\/www.argesim.org\/publications\/a55286"},{"issue":"I\u2013II","key":"34_CR59","first-page":"13","volume":"15","author":"G Schweiger","year":"2018","unstructured":"Schweiger, G., Gomes, C., Hafner, I., Engel, G., Nouidui, T.S., Popper, N., Schoggl, J.P.: Co-simulation: leveraging the potential of urban energy system simulation. EuroHeat Power 15(I\u2013II), 13\u201316 (2018)","journal-title":"EuroHeat Power"},{"key":"34_CR60","unstructured":"Spiegel, M., Reynolds, P., Brogan, D.: A case study of model context for simulation composability and reusability. In: Proceedings of the Winter Simulation Conference, vol. 2005, pp. 437\u2013444. IEEE (2005). http:\/\/ieeexplore.ieee.org\/document\/1574279\/"},{"key":"34_CR61","doi-asserted-by":"crossref","unstructured":"Thule, C., Gomes, C., Deantoni, J., Larsen, P.G., Brauer, J., Vangheluwe, H.: Towards the Verification of Hybrid Co-simulation Algorithms. Submitted to CoSim-CPS (2018)","DOI":"10.1007\/978-3-030-04771-9_1"},{"issue":"1","key":"34_CR62","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.cirp.2007.05.044","volume":"56","author":"T Tomiyama","year":"2007","unstructured":"Tomiyama, T., D\u2019Amelio, V., Urbanic, J., ElMaraghy, W.: Complexity of multi-disciplinary design. CIRP Ann. Manufact. Technol. 56(1), 185\u2013188 (2007)","journal-title":"CIRP Ann. Manufact. Technol."},{"key":"34_CR63","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Yankelevich, D.: Enhancing architectural mismatch detection with assumptions. In: 2000 Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2000) Proceedings, pp. 138\u2013146 (2000)","DOI":"10.1109\/ECBS.2000.839871"},{"key":"34_CR64","unstructured":"Van Acker, B., Denil, J., Meulenaere, P.D., Vangheluwe, H.: Generation of an optimised master algorithm for FMI co-simulation. In: Barros, F., Wang, M.H., Pr\u00e4hofer, H., Hu, X. (eds.) Symposium on Theory of Modeling and Simulation-DEVS Integrative, pp. 946\u2013953. Society for Computer Simulation International San Diego, CA, USA, Alexandria, Virginia, USA, April 2015"},{"issue":"3","key":"34_CR65","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s00366-012-0286-6","volume":"29","author":"H Van der Auweraer","year":"2013","unstructured":"Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389\u2013408 (2013)","journal-title":"Eng. Comput."},{"key":"34_CR66","unstructured":"Vangheluwe, H., De Lara, J., Mosterman, P.J.: An introduction to multi-paradigm modelling and simulation. In: AI, Simulation and Planning in High Autonomy Systems, pp. 9\u201320. SCS (2002)"},{"key":"34_CR67","unstructured":"Vangheluwe, H.L., Vansteenkiste, G.C., Kerckhoffs, E.J.: Simulation for the future: progress of the esprit basic research Working Group 8467. In: Proceedings of the 1996 European Simulation Symposium, pp. XXIX\u2013XXXIV. Society for Computer Simulation International, Genoa (1996)"},{"key":"34_CR68","doi-asserted-by":"publisher","unstructured":"Wanner, G., Hairer, E.: Solving Ordinary Differential Equations I: Nonstiff Problems, vol. 1. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/978-3-540-78862-1. Springer s edn.","DOI":"10.1007\/978-3-540-78862-1"},{"issue":"4","key":"34_CR69","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S0957-4158(01)00049-6","volume":"13","author":"MC Wu","year":"2003","unstructured":"Wu, M.C., Shih, M.C.: Simulated and experimental study of hydraulic anti-lock braking system using sliding-mode PWM control. Mechatronics 13(4), 331\u2013351 (2003)","journal-title":"Mechatronics"},{"key":"34_CR70","volume-title":"Theory of Modelling and Simulation","author":"BP Zeigler","year":"1976","unstructured":"Zeigler, B.P.: Theory of Modelling and Simulation. Wiley, New York (1976)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03424-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:29:24Z","timestamp":1775255364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03424-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034238","9783030034245"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03424-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"31 October 2018","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":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}