{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:34:17Z","timestamp":1761597257811,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5718122","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T17:37:42Z","timestamp":1298396262000},"page":"4250-4256","source":"Crossref","is-referenced-by-count":1,"title":["Translating Sequential Function Charts to the Compositional Interchange Format for hybrid systems"],"prefix":"10.1109","author":[{"given":"Christian","family":"Sonntag","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Fischer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"7979","article-title":"Concrete syntax and semantics of the compositional interchange format for hybrid systems","author":"van beek","year":"2008","journal-title":"IFAC World Congress Proceedings"},{"key":"ref11","first-page":"640","article-title":"Modeling and simulation using the comp. interchange format for hybrid systems","author":"sonntag","year":"2009","journal-title":"Proc 6th Vienna Conf on Math Modelling"},{"journal-title":"EU-funded Collaborative Project contract number FP7-ICT-224249 2008–2012","year":"2008","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.11.011"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1004-9541(08)60034-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807930.012"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_25"},{"key":"ref3","first-page":"2987","article-title":"Verification of sequential function charts using SMV","author":"bornot","year":"2000","journal-title":"Int Conf on Par and Distr Processing Techniques and Applications"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/978-3-540-27863-4_22","article-title":"A unifying semantics for sequential function charts","volume":"3147","author":"bauer","year":"2004","journal-title":"Integr of Software Spec Techn for Applications in Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00301-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583409"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400500204X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(00)00484-1"},{"journal-title":"International Electrotechnical Commission (IEC)","article-title":"IEC 61131–3: Programmable Controllers - Programming Languages","year":"2003","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_45"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05718122.pdf?arnumber=5718122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T20:05:11Z","timestamp":1497902711000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5718122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5718122","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}