{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:27:30Z","timestamp":1725420450709},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/rttas.2003.1203048","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"160-168","source":"Crossref","is-referenced-by-count":0,"title":["Modular code generation from hybrid automata based on data dependency"],"prefix":"10.1109","author":[{"family":"Jesung Kim","sequence":"first","affiliation":[]},{"family":"Insup Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780756"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"10","article-title":"From timed to hybrid systems","author":"maler","year":"1991","journal-title":"Real-Time Theory in Practice REX Workshop LNCS 600"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"journal-title":"IHA Ensuring Sound Numerical Simulation of Hybrid Automata","year":"2003","author":"choi","key":"5"},{"journal-title":"The synchronous programming language ESTEREL design semantics implementation","year":"1988","author":"berry","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/2.868693"},{"journal-title":"Embedded Software First International Workshop LNCS 2211","year":"2001","author":"henzinger","key":"8"},{"journal-title":"Numerical Recipes in C The Art of Scientific Computing","year":"1999","author":"press","key":"11"}],"event":{"name":"The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003.","location":"Toronto, Canada"},"container-title":["The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8555\/27075\/01203048.pdf?arnumber=1203048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:39:36Z","timestamp":1489430376000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1203048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/rttas.2003.1203048","relation":{},"subject":[]}}