{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:11:30Z","timestamp":1761610290186,"version":"build-2065373602"},"reference-count":18,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)81046-6","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"128-148","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":13,"title":["Testing and Monitoring Model-based Generated Program"],"prefix":"10.1016","volume":"89","author":[{"given":"Li","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","article-title":"The algorithmic analysis of hybrid systems","volume":"138","author":"Alur","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB2","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivan\u010di\u0107, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 2003.","DOI":"10.1109\/JPROC.2002.805817"},{"issue":"2","key":"10.1016\/S1571-0661(04)81046-6_NEWBIB3","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"The theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"TCS"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB4","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","article-title":"The benefits of relaxing punctuality","volume":"volume 43","author":"Alur","year":"1999","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB5","doi-asserted-by":"crossref","unstructured":"R. Alur, F. Ivan\u010di\u0107, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hierarchial hybrid models. In Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03), 2003.","DOI":"10.1145\/780753.780756"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB6","unstructured":"J.-Y. Choi, Y. Hur, and I. Lee. IHA: Ensuring sound numerical simulation of hybrid automata. Technical Report MS-CIS-03\u201306, Dept. of Computer and Information Science, University of Pennsylvania, 2003."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB7","unstructured":"SONY Corporation. Entertainment Robot AIBO. http:\/\/www.aibo.com."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB8","doi-asserted-by":"crossref","unstructured":"L. K. Dillon and Y. S. Ramakrishna. Generating oracles from your favorite temporal logic specification. In the Fourth ACM SIGSOFT Symposium on the Foundation of Software Engineering, 1996.","DOI":"10.1145\/239098.239116"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB9","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and E. M. Clarke. Characterizing correctness properties of parallel programs as fixpoints. In Proceedings of the Seventh International Colloquium on Automata, Languages and Programming, volume 85 of Lecture Notes in Computer Science, Berlin, 1981. Springer-Verlag.","DOI":"10.1007\/3-540-10003-2_69"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB10","unstructured":"D. Giannakopoulou and K. Havelund. Automata-based verification of temporal properties on running programs. In Automated Software Engineering. IEEE Computer Society, 2001."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB11","unstructured":"K. Havelund and G. Rosu. Java pathexplorer - a runtime verification tool. In Proceedings of The Sixth International Symposium on AI, Robotics, and Automation in Space, May 2001."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB12","doi-asserted-by":"crossref","unstructured":"K. Havelund and G. Rosu. Synthesizing monitors for safety properties. In Proceedings of International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2002.","DOI":"10.1007\/3-540-46002-0_24"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB13","unstructured":"Reactive Systems Inc. Reactis. http:\/\/www.reactive-systems.com, 2003."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB14","unstructured":"The MathWorks Inc. Real-time workshop for Simulink. http:\/\/www.mathworks.com."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB15","unstructured":"J. Kim and I. Lee. Modular code generation from hybrid automata based on data dependency. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2003), 2003."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB16","unstructured":"I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999."},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB17","article-title":"Hybrid I\/O automata","author":"Lynch","year":"1995","journal-title":"82, page 16. Centrum voor Wiskunde en Informatica (CWI), ISSN 0169-118X, 31"},{"key":"10.1016\/S1571-0661(04)81046-6_NEWBIB18","first-page":"447","article-title":"From timed to hybrid systems","volume":"600","author":"Maler","year":"1991"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810466?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810466?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:30Z","timestamp":1761609990000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104810466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S1571066104810466"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)81046-6","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Testing and Monitoring Model-based Generated Program","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)81046-6","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}