{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:04:46Z","timestamp":1761487486039,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"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":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086292","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"353-360","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers"],"prefix":"10.1145","author":[{"given":"S.","family":"Tripakis","sequence":"first","affiliation":[{"name":"Verimag laboratory, Gi\u00e8res, France"}]},{"given":"C.","family":"Sofronis","sequence":"additional","affiliation":[{"name":"Verimag laboratory, Gi\u00e8res, France"}]},{"given":"N.","family":"Scaife","sequence":"additional","affiliation":[{"name":"Verimag laboratory, Gi\u00e8res, France"}]},{"given":"P.","family":"Caspi","sequence":"additional","affiliation":[{"name":"Verimag laboratory, Gi\u00e8res, France"}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Computer Controlled Systems","author":"Astr\u00f6m K.","year":"1984","unstructured":"Astr\u00f6m , K. , and Wittenmark , B . Computer Controlled Systems . Prentice-Hall , 1984 . Astr\u00f6m, K., and Wittenmark, B. Computer Controlled Systems. Prentice-Hall, 1984."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","volume-title":"EMSOFT'02","author":"Benveniste A.","year":"2002","unstructured":"Benveniste , A. , Caspi , P. , Guernic , P. L. , Marchand , H. , Talpin , J. , and Tripakis , S . A protocol for loosely time-triggered architectures . In EMSOFT'02 ( 2002 ), vol. 2491 of LNCS , Springer . Benveniste, A., Caspi, P., Guernic, P. L., Marchand, H., Talpin, J., and Tripakis, S. A protocol for loosely time-triggered architectures. In EMSOFT'02 (2002), vol. 2491 of LNCS, Springer."},{"key":"e_1_3_2_1_4_1","first-page":"425","volume-title":"The foundations of Esterel","author":"Berry G.","year":"2000","unstructured":"Berry , G. The foundations of Esterel . MIT Press , 2000 , pp. 425 -- 454 . Berry, G. The foundations of Esterel. MIT Press, 2000, pp. 425--454."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980712"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","volume-title":"Hybrid Systems III","author":"Daws C.","year":"1996","unstructured":"Daws , C. , Olivero , A. , Tripakis , S. , and Yovine , S . The tool Kronos . In Hybrid Systems III ( 1996 ), vol. 1066 of LNCS , Springer . Daws, C., Olivero, A., Tripakis, S., and Yovine, S. The tool Kronos. In Hybrid Systems III (1996), vol. 1066 of LNCS, Springer."},{"key":"e_1_3_2_1_8_1","first-page":"1","volume":"23","author":"Henzinger T.","year":"2003","unstructured":"Henzinger , T. , Kirsch , C. , Sanvido , M. , and Pree , W. From control models to real-time code using Giotto. IEEE Contr. Sys. Mag. 23 , 1 ( 2003 ). Henzinger, T., Kirsch, C., Sanvido, M., and Pree, W. From control models to real-time code using Giotto. IEEE Contr. Sys. Mag. 23, 1 (2003).","journal-title":"Giotto. IEEE Contr. Sys. Mag."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"volume-title":"Mathworks Inc. Developing Embedded Targets for Real-Time Workshop Embedded Coder (R13)","author":"The","key":"e_1_3_2_1_10_1","unstructured":"The Mathworks Inc. Developing Embedded Targets for Real-Time Workshop Embedded Coder (R13) . The Mathworks Inc. Developing Embedded Targets for Real-Time Workshop Embedded Coder (R13)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/125083.123062"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009383.1009830"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512661"}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Jersey City NJ USA","acronym":"EMSOFT05"},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086292","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:19Z","timestamp":1750262899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":13,"alternative-id":["10.1145\/1086228.1086292","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086292","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}