{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T18:29:28Z","timestamp":1784140168697,"version":"3.55.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658580","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T10:52:14Z","timestamp":1385031134000},"page":"1-12","source":"Crossref","is-referenced-by-count":80,"title":["Determinate composition of FMUs for co-simulation"],"prefix":"10.1109","author":[{"given":"David","family":"Broman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christopher","family":"Brooks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lev","family":"Greenberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Masin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Wetter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/173668.168624","article-title":"The information bus: An architecture for extensible distributed systems","volume":"27","author":"oki","year":"1993","journal-title":"SIGOPS Oper Syst Rev"},{"key":"17","year":"2010","journal-title":"Functional Mock-up Interface for Co-Simulation"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2011.04.013"},{"key":"15","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","author":"maler","year":"1992","journal-title":"Real-Time Theory and Practice REX Workshop"},{"key":"16","year":"2012","journal-title":"Functional Mock-up Interface for Model Exchange and Co-Simulation - Version 2 0 Beta 4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"14","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1480881.1480893","article-title":"Modular code generation from synchronous block diagrams","author":"lublinerman","year":"2009","journal-title":"POPL'09"},{"key":"11","first-page":"485","article-title":"Simulation of complex systems using modelica and tool coupling","volume":"2","author":"kossel","year":"2006","journal-title":"5th Modelica Conference"},{"key":"12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","article-title":"Operational semantics of hybrid systems","volume":"lncs3414","author":"lee","year":"2005","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_37"},{"key":"20","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","article-title":"Coordination models and languages","volume":"46","author":"papadopoulos","year":"1998","journal-title":"Advances in Computers"},{"key":"22","first-page":"526","article-title":"Interchange formats for hybrid systems: Review and proposal","author":"pinto","year":"2005","journal-title":"HSCC'05"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1007\/11576280_3","article-title":"An evidential tool bus","author":"rushby","year":"2005","journal-title":"7th International Conference on Formal Methods and Software Engineering ICFEM'05"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"25","author":"sokolsky","year":"2004","journal-title":"HSIF Semantics"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000278"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1080\/19401493.2010.518631"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063105"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"10","article-title":"The toolbus: A service-oriented architecture for language-processing tools","author":"klint","year":"2007","journal-title":"ERCIM News"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063115"},{"key":"7","first-page":"7955","article-title":"Stream-and state-based semantics of hierarchy in block diagrams","author":"denckla","year":"2008","journal-title":"17th IFAC World Congress"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_18"},{"key":"5","article-title":"Modelyze: A gradually typed host language for embedding equation-based modeling languages","author":"broman","year":"2012","journal-title":"Technical Report UCB\/EECS-2012-173"},{"key":"4","article-title":"Functional mock-up interface 2.0: The standard for tool independent exchange of simulation models","author":"blochwitz","year":"2012","journal-title":"Proceedings of the 9th International Modelica Conference"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","location":"Montreal, QC, Canada","start":{"date-parts":[[2013,9,29]]},"end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648479\/6658572\/06658580.pdf?arnumber=6658580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T04:31:18Z","timestamp":1688790678000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658580","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}