{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:43:37Z","timestamp":1761597817043},"reference-count":13,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC Proceedings Volumes"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1474-6670(17)36431-5","type":"journal-article","created":{"date-parts":[[2017,5,16]],"date-time":"2017-05-16T20:15:41Z","timestamp":1494965741000},"page":"199-204","source":"Crossref","is-referenced-by-count":3,"title":["A Hybrid Language for Modeling, Simulation and Verification"],"prefix":"10.1016","volume":"36","author":[{"given":"R.R.H.","family":"Schiffelers","sequence":"first","affiliation":[]},{"given":"D.A.","family":"van Beek","sequence":"additional","affiliation":[]},{"given":"K.L.","family":"Man","sequence":"additional","affiliation":[]},{"given":"M.A.","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"J.E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1474-6670(17)36431-5_bib0005","first-page":"3","article-title":"The algorithmic analysis of hybrid systems","volume":"138","author":"Alur","year":"1995"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0010","series-title":"The Modelling and Simulation of Combined Discrete\/Continuous Processes","author":"Barton","year":"1992"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0015","series-title":"Formal Specification and Analysis of Industrial Systems","author":"Bos","year":"2002"},{"issue":"1-2","key":"10.1016\/S1474-6670(17)36431-5_bib0020","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1008330914786","article-title":"On hybrid Petri nets","volume":"11","author":"David","year":"2001","journal-title":"Discrete Event Dynamic Systems: Theory & Applications"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0025","series-title":"A Language and Simulator for Hybrid Systems","author":"F\u00e1bh\u00e1n","year":"1999"},{"issue":"2","key":"10.1016\/S1474-6670(17)36431-5_bib0030","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1076\/mcmd.7.2.173.3646","article-title":"Index reduction and discontinuity handling using substitute equations","volume":"7","author":"F\u00e1bi\u00e1n","year":"2001","journal-title":"Mathematical and Computer Modelling of Dynamical Systems"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0035","series-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions (IEEE Std 1076.11999)","year":"1999"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0040","year":"2002","journal-title":"Modelica - A Unified Object-Oriented Language for Physical Systems Modeling"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0045","series-title":"15th Triennial World Congress of the International Federation of Automatic Control","article-title":"Embedded code generation for efficient reinitialization","author":"Mosterman","year":"2002"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0050","series-title":"Formal semantics of hybrid Chi","author":"Schiffelers","year":"2003"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0055","series-title":"15th Triennial World Congress of the International Federation of Automatic Control","article-title":"Modelling and control of process industry batch production systems","author":"van Beek","year":"2002"},{"issue":"1","key":"10.1016\/S1474-6670(17)36431-5_bib0060","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0967-0661(99)00137-9","article-title":"Languages and applications in hybrid modelling and simulation: Positioning of Chi","volume":"8","author":"van Beek","year":"2000","journal-title":"Control Engineering Practice"},{"key":"10.1016\/S1474-6670(17)36431-5_bib0065","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1016\/S0928-4869(96)00028-6","article-title":"Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines","volume":"5","author":"van Beek","year":"1997","journal-title":"Simulation Practice and Theory"}],"container-title":["IFAC Proceedings Volumes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364315?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364315?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T15:59:01Z","timestamp":1535817541000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1474667017364315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":13,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1474667017364315"],"URL":"https:\/\/doi.org\/10.1016\/s1474-6670(17)36431-5","relation":{},"ISSN":["1474-6670"],"issn-type":[{"value":"1474-6670","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}