{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T11:28:25Z","timestamp":1746012505248,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319478456"},{"type":"electronic","value":"9783319478463"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47846-3_28","type":"book-chapter","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T02:53:57Z","timestamp":1476413637000},"page":"450-465","source":"Crossref","is-referenced-by-count":11,"title":["Checking SysML Models for Co-simulation"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Am\u00e1lio","sequence":"first","affiliation":[]},{"given":"Richard","family":"Payne","sequence":"additional","affiliation":[]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,15]]},"reference":[{"unstructured":"Amalio, N., Cavalcanti, A., K\u00f6nig, C., Woodcock, J.: Foundations for FMI co-modelling. Technical report, INTO-CPS Deliverable, D2.1d, December 2015","key":"28_CR1"},{"doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, N., de Lara, J., Guerra, E.: FRAGMENTA: a theory of fragmentation for MDE. In: MODELS 2015. IEEE (2015)","key":"28_CR2","DOI":"10.1109\/MODELS.2015.7338241"},{"unstructured":"Amalio, N., Payne, R., Cavalcanti, A., Brosse, E.: Foundations of the SysML profile for CPS modelling. Technical report, INTO-CPS Deliverable, D2.1a, December 2015","key":"28_CR3"},{"doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., Akesson, J., Arnold, M., Clauss, C., Elmqvist, H., Friedrich, M., Junghanns, A., Mauss, J., Neumerkel, D., Olsson, H., Viel, A.: The functional mockup interface 2.0: the Standard for tool independent exchange of simulation models. In: Modelica Conference, Munich, Germany (2012)","key":"28_CR4","DOI":"10.3384\/ecp12076173"},{"unstructured":"Blochwitz, T.: Functional mock-up interface for model exchange and co-simulation, July 2014. https:\/\/www.fmi-standard.org\/downloads (Blochwitz, T. (ed.))","key":"28_CR5"},{"doi-asserted-by":"crossref","unstructured":"Broman, D., Brooks, C., Greenberg, L., Lee, E., Masin, M., Tripakis, S., Wetter, M.: Determinate composition of FMUs for co-simulation. In: EMSOFT (2013)","key":"28_CR6","DOI":"10.1109\/EMSOFT.2013.6658580"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-32582-8_3","volume-title":"Model Checking Software","author":"I Dragomir","year":"2016","unstructured":"Dragomir, I., Preoteasa, V., Tripakis, S.: Compositional semantics and analysis of hierarchical block diagrams. In: Bo\u0161nacki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 38\u201356. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-32582-8_3"},{"key":"28_CR8","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Feldman, Y., Greenberg, L., Palachi, E.: Simulating rhapsody SysML blocks in hybrid models with FMI. In: Modelica Conference, pp. 43\u201352 (2014)","key":"28_CR9","DOI":"10.3384\/ecp1409643"},{"unstructured":"Fitzgerald, J., Gamble, C., Payne, R., Pierce, K.: Method guidelines 1. Technical report, INTO-CPS Deliverable, D3.1a, December 2015","key":"28_CR10"},{"key":"28_CR11","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P Fritzson","year":"2004","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press, Hoboken (2004)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-54862-8_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Gibson-Robinson","year":"2014","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 187\u2013201. Springer, Heidelberg (2014)"},{"key":"28_CR13","volume-title":"Communication Sequential Processes","author":"T Hoare","year":"1985","unstructured":"Hoare, T.: Communication Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"28_CR14","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"issue":"1","key":"28_CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1137\/0204007","volume":"4","author":"DB Johnson","year":"1975","unstructured":"Johnson, D.B.: Finding all the elementary circuits in a directed graph. SIAM J. Comput. 4(1), 77\u201384 (1975)","journal-title":"SIAM J. Comput."},{"issue":"1","key":"28_CR16","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"PC Kanellakis","year":"1990","unstructured":"Kanellakis, P.C., Smolka, S.A.: CCS expressions, finite state processes, and three problems of equivalence. Inf. Comput. 86(1), 43\u201368 (1990)","journal-title":"Inf. Comput."},{"unstructured":"Kleijn, C.: Modelling and simulation of fluid power systems with 20-sim. Int. J. Fluid Power 7(3), November 2006","key":"28_CR17"},{"issue":"2","key":"28_CR18","doi-asserted-by":"crossref","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":"1\u20132","key":"28_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(98)00017-6","volume":"223","author":"O Kullmann","year":"1999","unstructured":"Kullmann, O.: New methods for 3-SAT decision and worst-case analysis. Theor. Comput. Sci. 223(1\u20132), 1\u201372 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"28_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"PG Larsen","year":"2010","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1\u20136 (2010)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"3","key":"28_CR21","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0166-218X(85)90050-2","volume":"10","author":"B Monien","year":"1985","unstructured":"Monien, B., Speckenmeyer, E.: Solving satisfiability in less than 2n steps. Discret. Appl. Math. 10(3), 287\u2013295 (1985)","journal-title":"Discret. Appl. Math."},{"key":"28_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10542-0","volume-title":"Concrete Semantics: with Isabelle\/HOL","author":"T Nipkow","year":"2014","unstructured":"Nipkow, T., Klein, G.: Concrete Semantics: with Isabelle\/HOL. Springer, Switzerland (2014)"},{"doi-asserted-by":"crossref","unstructured":"Pohlmann, U., Sch\u00e4fer, W., Reddehase, H., R\u00f6ckemann, J., Wagner, R.: Generating functional mockup units from software specifications. In: Modelica Conference (2012)","key":"28_CR23","DOI":"10.3384\/ecp12076765"},{"unstructured":"R Core Team: R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria (2015). https:\/\/www.R-project.org\/","key":"28_CR24"},{"unstructured":"OMG Systems Modeling Language (OMG SysML\u2122). Technical report version 1.3, SysML Modelling Team, June 2012. http:\/\/www.omg.org\/spec\/SysML\/1.3\/","key":"28_CR25"},{"issue":"4","key":"28_CR26","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1985342.1985345","volume":"33","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM TOPLAS 33(4), 14 (2011)","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47846-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T11:53:55Z","timestamp":1568462035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47846-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319478456","9783319478463"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47846-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}