{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T22:57:09Z","timestamp":1765666629235,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2003.1241680","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"727-734","source":"Crossref","is-referenced-by-count":1,"title":["Functional reactive programming as a hybrid system framework"],"prefix":"10.1109","volume":"1","author":[{"given":"I.","family":"Pembeci","sequence":"first","affiliation":[]},{"given":"G.","family":"Hager","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"6","article-title":"Modular specification of hybrid systems in CHARON","author":"alur","year":"2000","journal-title":"HSCC"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","volume":"600","author":"maler","year":"1991","journal-title":"Real-Time Theory in Practice"},{"key":"6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","article-title":"Hybrid I\/O automata revisited","volume":"2034","author":"lynch","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.798320"},{"journal-title":"Temporal Logic for Real-Time Systems","year":"1989","author":"ostroff","key":"9"},{"key":"8","first-page":"149","article-title":"An approach to the description and analysis of hybrid systems","author":"nicollin","year":"1992","journal-title":"Hybrid Systems"},{"article-title":"The formal relationship between the functional reactive programming and hybrid systems","year":"2002","author":"pembeci","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/571157.571174"}],"event":{"name":"IEEE International Conference on Robotics and Automation. IEEE ICRA 2003","acronym":"ROBOT-03","location":"Taipei, Taiwan"},"container-title":["2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8794\/27829\/01241680.pdf?arnumber=1241680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:05:34Z","timestamp":1497571534000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1241680\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/robot.2003.1241680","relation":{},"subject":[]}}