{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T12:49:46Z","timestamp":1744116586119,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747804"},{"type":"electronic","value":"9783319747811"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-319-74781-1_31","type":"book-chapter","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:22:24Z","timestamp":1517480544000},"page":"453-468","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Formalising Cosimulation Models"],"prefix":"10.1007","author":[{"given":"Frank","family":"Zeyda","sequence":"first","affiliation":[]},{"given":"Julien","family":"Ouy","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Foster","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,2]]},"reference":[{"key":"31_CR1","unstructured":"Modelica Association: Functional Mock-up Interface for Model Exchange and Co-Simulation. Technical Report Document Version 2.0, Link\u00f6ping University (Sweden), July 2014. \nhttp:\/\/fmi-standard.org\/downloads\/"},{"issue":"2","key":"31_CR2","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/s00165-003-0006-5","volume":"15","author":"A Cavalcanti","year":"2003","unstructured":"Cavalcanti, A., Sampaio, A., Woodcock, J.: A refinement strategy for \n            $${ Circus}$$\n          . Form. Asp. Comput. 15(2), 146\u2013181 (2003)","journal-title":"Form. Asp. Comput."},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-319-46750-4_15","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2016","author":"A Cavalcanti","year":"2016","unstructured":"Cavalcanti, A., Woodcock, J., Am\u00e1lio, N.: Behavioural models for FMI co-simulations. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 255\u2013273. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-46750-4_15"},{"issue":"5","key":"31_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen, Z., Hoare, T., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Broman, D., et al.: Determinate composition of FMUs for co-simulation. In: Proceedings of EMSOFT 2013, pp. 2:1\u20132:12. IEEE Press, September 2013","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"31_CR6","unstructured":"Larsen, P.G., et al.: Tutorial for Overture\/VDM-RT. Technical Report TR-005, September 2015. \nhttp:\/\/overturetool.org\/documentation\/tutorials.html"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: Proceedings of the 8th International Modelica Conference (2011)","DOI":"10.3384\/ecp11063105"},{"key":"31_CR8","unstructured":"Foster, S., Cavalcanti, A., Canham, S., Pierce, K., Woodcock, J.: Final Semantics of VDM-RT. Deliverable 2.2b, INTO-CPS Project, H2020 Grant 644047, December 2016. \nhttp:\/\/projects.au.dk\/fileadmin\/D2.2b_Final_VDM-RT_Semantics.pdf"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-52228-9_3","volume-title":"Unifying Theories of Programming","author":"S Foster","year":"2017","unstructured":"Foster, S., Thiele, B., Cavalcanti, A., Woodcock, J.: Towards a UTP semantics for modelica. In: Bowen, J.P., Zhu, H. (eds.) UTP 2016. LNCS, vol. 10134, pp. 44\u201364. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-52228-9_3"},{"key":"31_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-14806-9_2","volume-title":"Unifying Theories of Programming","author":"S Foster","year":"2015","unstructured":"Foster, S., Zeyda, F., Woodcock, J.: Isabelle\/UTP: a mechanised theory engineering framework. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 21\u201341. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-14806-9_2"},{"key":"31_CR11","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. ArXiv e-prints, \narXiv:1702.00686\n\n, February 2017"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-319-51046-0_7","volume-title":"Concurrency, Security, and Puzzles","author":"H Jifeng","year":"2017","unstructured":"Jifeng, H., Qin, L.: A hybrid relational modelling language. In: Gibson-Robinson, T., Hopcroft, P., Lazi\u0107, R. (eds.) Concurrency, Security, and Puzzles. LNCS, vol. 10160, pp. 124\u2013143. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-51046-0_7"},{"key":"31_CR13","volume-title":"Communicating Sequential Processes","author":"T Hoare","year":"1985","unstructured":"Hoare, T.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-642-32347-8_26","volume-title":"Interactive Theorem Proving","author":"F Immler","year":"2012","unstructured":"Immler, F., H\u00f6lzl, J.: Numerical analysis of ordinary differential equations in Isabelle\/HOL. In: Beringer, L., Felty, A. (eds.) ITP 2012. LNCS, vol. 7406, pp. 377\u2013392. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-32347-8_26"},{"issue":"3","key":"31_CR15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10617-014-9156-3","volume":"19","author":"LG Iugan","year":"2015","unstructured":"Iugan, L.G., Boucheneb, H., Nicolescu, G.: A generic conceptual framework based on formal representation for the design of continuous\/discrete co-simulation tools. Des. Autom. Embed. Syst. 19(3), 243\u2013275 (2015)","journal-title":"Des. Autom. Embed. Syst."},{"key":"31_CR16","volume-title":"Systematic Software Development using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development using VDM. Prentice-Hall, Upper Saddle River (1990)"},{"key":"31_CR17","unstructured":"Lausdahl, K., Verhoef, M., Larsen, P.G., Wolff, S.: Overview of VDM-RT constructs and semantic issues. In Proceedings of the 8th Overture Workshop, CS-TR, vol. 1224, pp. 57\u201367, September 2010"},{"key":"31_CR18","unstructured":"Modelica Association: Modelica\u00ae \u2013 A Unified Object-Oriented Language for Systems Modeling, Language Specification, Version 3.4, April 2017. \nhttps:\/\/www.modelica.org\/documents\/"},{"key":"31_CR19","volume-title":"Programming from Specifications","author":"C Morgan","year":"1996","unstructured":"Morgan, C.: Programming from Specifications. Prentice-Hall, Upper Saddle River (1996)"},{"issue":"3","key":"31_CR20","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1137\/0903023","volume":"3","author":"L Petzold","year":"1982","unstructured":"Petzold, L.: Differential\/algebraic equations are not ODEs. SIAM J. Sci. Stat. Comput. 3(3), 367\u2013384 (1982)","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"31_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-54118-6_3","volume-title":"Collaborative Design for Embedded Systems","author":"J Amerongen van","year":"2014","unstructured":"van Amerongen, J., Kleijn, C., Gamble, C.: Continuous-time modelling in 20-sim. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 27\u201359. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54118-6_3"},{"key":"31_CR22","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Upper Saddle River (1996)"},{"key":"31_CR23","unstructured":"Zeyda, F., Foster, S., Cavalcanti, A.: Mechanisation of the FMI. Technical report, University of York, UK, June 2017. \nhttps:\/\/github.com\/isabelle-utp\/utp-main\/blob\/master\/fmi\/fmi_report.pdf"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74781-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:35:01Z","timestamp":1517481301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74781-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747804","9783319747811"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74781-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}