{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:31Z","timestamp":1761596851632,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2003.1261478","type":"proceedings-article","created":{"date-parts":[[2004,5,13]],"date-time":"2004-05-13T14:43:37Z","timestamp":1084459417000},"page":"632-640","source":"Crossref","is-referenced-by-count":1,"title":["Relating Chi to hybrid automata"],"prefix":"10.1109","author":[{"given":"B.","family":"van Beek","sequence":"first","affiliation":[]},{"given":"N.G.","family":"Jansen","sequence":"additional","affiliation":[]},{"given":"K.E.","family":"Rooda","sequence":"additional","affiliation":[]},{"given":"R.R.H.","family":"Schiffelers","sequence":"additional","affiliation":[]},{"given":"K.L.","family":"Man","sequence":"additional","affiliation":[]},{"given":"M.A.","family":"Reniers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"549","article-title":"Masaccio: A formal model for embedded components","volume":"1872","author":"henzinger","year":"2000","journal-title":"In First I FIP International Conference on Theoretical Computer Science (TCS) Lecture Notes in Computer Science"},{"key":"ref11","article-title":"The theory of hybrid automata. In Verification of Digital and Hybrid Systems","author":"henzinger","year":"2000","journal-title":"Volume 170 of NATO ASI Series F Computer and Systems Science"},{"key":"ref12","first-page":"171","article-title":"From CSP to hybrid systems","author":"jifeng","year":"1994","journal-title":"A Classical Mind Essays in Honour of C A R Hoare"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00059-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"ref15","article-title":"Embedded code generation for efficient reinitialization","author":"mosterman","year":"2002","journal-title":"15th World Congress of the International Federation of Automatic Control"},{"key":"ref16","article-title":"Formal semantics of hybrid Chi","author":"schiffelers","year":"2003","journal-title":"International Workshop on Formal Modeling and Analysis of Timed Systems"},{"key":"ref17","first-page":"235","article-title":"A hybrid language for modeling, simulation and verification","author":"schiffelers","year":"2003","journal-title":"IFAC Conference on Analysis and Design of Hybrid Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(99)00137-9"},{"key":"ref19","article-title":"Modelling and control of process industry batch production systems","author":"van beek","year":"2002","journal-title":"15th World Congress of the International Federation of Automatic Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020972"},{"journal-title":"Formal Specification and Analysis of Industrial Systems","year":"2002","author":"bos","key":"ref3"},{"key":"ref6","article-title":"Hybrid transition systems","author":"cuijpers","year":"2002","journal-title":"Technical Report CS-Report 02-12"},{"key":"ref5","article-title":"Hybrid process algebra","author":"cuijpers","year":"2003","journal-title":"Technical Report CS-Report 03-07"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1076\/mcmd.7.2.173.3646"},{"journal-title":"A Language and Simulator for Hybrid Systems","year":"1999","author":"f\u00e1bi\u00e1n","key":"ref7"},{"key":"ref2","article-title":"Hierarchical modeling and analysis of embedded systems","author":"alur","year":"2001","journal-title":"EMSOFT '01 Proceedings of the First International Workshop on Embedded Software"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref9","first-page":"381","article-title":"A comparison of mixed specification formalisms","volume":"35","author":"gu\u00e9guen","year":"2001","journal-title":"APII-JESA Journal Europeen des Systemes Automatises"}],"event":{"name":"2003 Winter Simulation Conference","acronym":"WSC-03","location":"New Orleans, LA, USA"},"container-title":["Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8912\/28195\/01261478.pdf?arnumber=1261478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T00:00:02Z","timestamp":1489449602000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1261478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/wsc.2003.1261478","relation":{},"subject":[]}}