{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:35:16Z","timestamp":1761323716760,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,24]]},"DOI":"10.1145\/1879021.1879052","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"229-238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["Model-based implementation of real-time applications"],"prefix":"10.1145","author":[{"given":"Tesnim","family":"Abdellatif","sequence":"first","affiliation":[{"name":"Verimag\/UJF, Gi\u00e8res, France"}]},{"given":"Jacques","family":"Combaz","sequence":"additional","affiliation":[{"name":"Verimag\/CNRS, Gi\u00e8res, France"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[{"name":"Verimag\/CNRS, Gi\u00e8res, France"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_21"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.1998.706651"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"S.\n      Bornot G.\n      Goessler and \n      J.\n      Sifakis\n  . \n  On the construction of live timed systems\n  . In S. Graf and M. I. Schwartzbach editors TACAS volume \n  1785\n   of \n  LNCS pages \n  109\n  --\n  126\n  . \n  Springer 2000\n  .   S. Bornot G. Goessler and J. Sifakis. On the construction of live timed systems. In S. Graf and M. I. Schwartzbach editors TACAS volume 1785 of LNCS pages 109--126. Springer 2000.","DOI":"10.1007\/3-540-46419-0_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2999"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2009.5196211"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9049-2"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"130","volume-title":"J.-F","author":"Dima C.","year":"2007","unstructured":"C. Dima . Dynamical properties of timed automat revisited . In J.-F . Raskin and P. S. Thiagarajan, editors, FORMATS, volume 4763 of LNCS , pages 130 -- 146 . Springer , 2007 . C. Dima. Dynamical properties of timed automat revisited. In J.-F. Raskin and P. S. Thiagarajan, editors, FORMATS, volume 4763 of LNCS, pages 130--146. Springer, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"A.\n      Ghosal T. A.\n      Henzinger C. M.\n      Kirsch and \n      M. A. A.\n      Sanvido\n    .\n  Event-driven programming with logical execution times\n  . In R. Alur and G. J. Pappas editors HSCC volume \n  2293\n   of \n  LNCS pages \n  357\n  --\n  371\n  . \n  Springer 2004\n  .  A. Ghosal T. A. Henzinger C. M. Kirsch and M. A. A. Sanvido. Event-driven programming with logical execution times. In R. Alur and G. J. Pappas editors HSCC volume 2293 of LNCS pages 357--371. Springer 2004.","DOI":"10.1007\/978-3-540-24743-2_24"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_14_1","unstructured":"D. Isovic G. Fohler and L. Steffens. Timing constraints of MPEG-2 decoding for high quality video: misconceptions and realistic assumptions.  D. Isovic G. Fohler and L. Steffens. Timing constraints of MPEG-2 decoding for high quality video: misconceptions and realistic assumptions."},{"key":"e_1_3_2_1_15_1","series-title":"Dagstuhl Seminar Proc","volume-title":"A definition and classification of timing anomalies","author":"Reineke J.","year":"2006","unstructured":"J. Reineke , B. Wachter , S. Thesing , R. Whilhelm , I. Polian , J. Eisinger , and B. Becker . A definition and classification of timing anomalies . In F. Mueller, editor, WCET, volume 06902 of Dagstuhl Seminar Proc . Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany , 2006 . J. Reineke, B. Wachter, S. Thesing, R. Whilhelm, I. Polian, J. Eisinger, and B. Becker. A definition and classification of timing anomalies. In F. Mueller, editor, WCET, volume 06902 of Dagstuhl Seminar Proc. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11319-2_3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0067-8"}],"event":{"name":"ESWeek '10: Sixth Embedded Systems Week","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","CEDA","IEEE CAS","IEEE CS"],"location":"Scottsdale Arizona USA","acronym":"ESWeek '10"},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879021.1879052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:05Z","timestamp":1750248545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":16,"alternative-id":["10.1145\/1879021.1879052","10.1145\/1879021"],"URL":"https:\/\/doi.org\/10.1145\/1879021.1879052","relation":{},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}