{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T16:21:17Z","timestamp":1756570877041,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030672195"},{"type":"electronic","value":"9783030672201"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-67220-1_22","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"295-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An FMI-Based Initialization Plugin for INTO-CPS Maestro 2"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3796-4319","authenticated-orcid":false,"given":"Simon Thrane","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6606-9236","authenticated-orcid":false,"given":"Casper","family":"Thule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2692-9742","authenticated-orcid":false,"given":"Cl\u00e1udio","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-319-47846-3_28","volume-title":"Formal Methods and Software Engineering","author":"N Am\u00e1lio","year":"2016","unstructured":"Am\u00e1lio, N., Payne, R., Cavalcanti, A., Woodcock, J.: Checking SysML models for co-simulation. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 450\u2013465. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47846-3_28"},{"key":"22_CR2","series-title":"Differential-Algebraic Equations Forum","doi-asserted-by":"publisher","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.J.W., M\u00fcller, P.C. (eds.) Progress in Differential-Algebraic Equations. DEF, pp. 107\u2013125. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44926-4_6"},{"key":"22_CR3","doi-asserted-by":"publisher","unstructured":"Bastian, J., Clau\u00df, C., Wolf, S., Schneider, P.: Master for co-simulation using FMI. In: 8th International Modelica Conference, pp. 115\u2013120. Link\u00f6ping University Electronic Press, Link\u00f6pings universitet (2011). https:\/\/doi.org\/10.3384\/ecp11063115","DOI":"10.3384\/ecp11063115"},{"key":"22_CR4","doi-asserted-by":"publisher","unstructured":"Blockwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference, pp. 173\u2013184. Link\u00f6ping University Electronic Press (2012). https:\/\/doi.org\/10.3384\/ecp12076173","DOI":"10.3384\/ecp12076173"},{"key":"22_CR5","unstructured":"Broman, D., et al.: Composition of FMUs for Co-Simulation. Technical report, University of California, Berkeley (2013). http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2013\/EECS-2013-153.html"},{"key":"22_CR6","doi-asserted-by":"publisher","unstructured":"\u00c9vora G\u00f3mez, J., Hern\u00e1ndez Cabrera, J.J., Tavella, J.P., Vialle, S., Kremers, E., Frayssinet, L.: Daccosim NG: co-simulation made simpler and faster. In: The 13th International Modelica Conference, Regensburg, Germany, March 4\u20136, 2019, pp. 785\u2013794, February 2019. https:\/\/doi.org\/10.3384\/ecp19157785","DOI":"10.3384\/ecp19157785"},{"key":"22_CR7","unstructured":"FMI.: Functional Mock-up Interface for Model Exchange and Co-Simulation (2014). https:\/\/fmi-standard.org\/downloads\/"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-43946-0_4","volume-title":"Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems","author":"C Gomes","year":"2020","unstructured":"Gomes, C., Denil, J., Vangheluwe, H.: Causal-block diagrams: a family of languages for causal modelling of cyber-physical systems. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 97\u2013125. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43946-0_4"},{"key":"22_CR9","doi-asserted-by":"publisher","unstructured":"Gomes, C., Lucio, L., Vangheluwe, H.: Semantics of co-simulation algorithms with simulator contracts. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (2019). https:\/\/doi.org\/10.1109\/models-c.2019.00124","DOI":"10.1109\/models-c.2019.00124"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-030-57506-9_4","volume-title":"Software Engineering and Formal Methods","author":"C Gomes","year":"2020","unstructured":"Gomes, C., Thule, C., L\u00facio, L., Vangheluwe, H., Larsen, P.G.: Generation of co-simulation algorithms subject to simulator contracts. In: Camara, J., Steffen, M. (eds.) SEFM 2019. LNCS, vol. 12226, pp. 34\u201349. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57506-9_4"},{"key":"22_CR11","doi-asserted-by":"publisher","unstructured":"Gomes, C., et al.: HintCO - hint-based configuration of co-simulations. In: International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp. 57\u201368 (2019). https:\/\/doi.org\/10.5220\/0007830000570068","DOI":"10.5220\/0007830000570068"},{"key":"22_CR12","doi-asserted-by":"publisher","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 1\u201333, Article 49 (2018). https:\/\/doi.org\/10.1145\/3179993","DOI":"10.1145\/3179993"},{"key":"22_CR13","unstructured":"JIProlog: JIProlog, October 2016. http:\/\/www.jiprolog.com. Accessed 20 Aug 2020"},{"issue":"2","key":"22_CR14","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). https:\/\/doi.org\/10.1076\/1387-3954(200006)6:2;1-M;FT093","journal-title":"Math. Comput. Model. Dyn. Syst."},{"key":"22_CR15","unstructured":"Miyazawa, U.Y.A., Woodcock, U.J.: Integrated tool chain for model-based design of CPSs foundations of the SysML profile for CPS modelling (2016). https:\/\/www.semanticscholar.org\/paper\/INtegrated-TOol-chain-for-model-based-design-of-of-Miyazawa-Woodcock\/3042572251aba18ab21ced9cc2fb49223dea2a2c. Accessed 13 Nov 2020"},{"issue":"1","key":"22_CR16","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 Ind. Electron. Mag. 11(1), 34\u201350 (2017). https:\/\/doi.org\/10.1109\/MIE.2016.2639825","journal-title":"IEEE Ind. Electron. Mag."},{"key":"22_CR17","doi-asserted-by":"publisher","unstructured":"Robby Hatcliff, J., Belt, J.: Model-based development for high-assurance embedded systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Modeling, pp. 539\u2013545. Lecture Notes in Computer Science, Springer International Publishing (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_32","DOI":"10.1007\/978-3-030-03418-4_32"},{"key":"22_CR18","unstructured":"Scala: The Scala Programming Language, August 2020. https:\/\/www.scala-lang.org. Accessed 19 Aug 2020"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-662-54483-9_9","volume-title":"Vehicle Dynamics","author":"D Schramm","year":"2018","unstructured":"Schramm, D., Hiller, M., Bardini, R.: Force components. Vehicle Dynamics, pp. 207\u2013224. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-54483-9_9"},{"issue":"2","key":"22_CR20","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972). https:\/\/doi.org\/10.1137\/0201010","journal-title":"SIAM J. Comput."},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.simpat.2018.12.005","volume":"92","author":"C Thule","year":"2019","unstructured":"Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.: Maestro: the INTO-CPS co-simulation framework. Simul. Model. Pract. Theor. 92, 45\u201361 (2019). https:\/\/doi.org\/10.1016\/j.simpat.2018.12.005","journal-title":"Simul. Model. Pract. Theor."},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-030-57506-9_5","volume-title":"Software Engineering and Formal Methods","author":"C Thule","year":"2020","unstructured":"Thule, C., et al.: Towards reuse of synchronization algorithms in co-simulation frameworks. In: Camara, J., Steffen, M. (eds.) SEFM 2019. LNCS, vol. 12226, pp. 50\u201366. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57506-9_5"},{"key":"22_CR23","unstructured":"Z3prover: z3, September 2020). https:\/\/github.com\/Z3Prover\/z3\/wiki. Accessed 13 Sept 2020"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:22:22Z","timestamp":1610785342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}