{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T05:25:34Z","timestamp":1759728334626,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,27]],"date-time":"2004-09-27T00:00:00Z","timestamp":1096243200000},"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":[[2004,9,27]]},"DOI":"10.1145\/1017753.1017786","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"193-202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Loose synchronization of event-triggered networks for distribution of synchronous programs"],"prefix":"10.1145","author":[{"given":"Jan","family":"Romberg","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Garching, Germany"}]},{"given":"Andreas","family":"Bauer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Garching, Germany"}]}],"member":"320","published-online":{"date-parts":[[2004,9,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES)","author":"Bauer A.","year":"2004","unstructured":"A. Bauer and J. Romberg . Model-based deployment: From a high-level view to low-level code . In Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES) , Hamilton, Canada , June 2004 . A. Bauer and J. Romberg. Model-based deployment: From a high-level view to low-level code. In Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), Hamilton, Canada, June 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/JPROC.2002.805826"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.5555\/646788.704037"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/374869"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/32.798329"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.4271\/2001-01-0073"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-63533-5_7","volume-title":"Industrial Applications and Strengthened Foundations of Formal Methods (FME'97), LNCS 1313","author":"Huber F.","year":"1997","unstructured":"F. Huber , B. Sch\u00e4tz , and G. Einert . Consistent Graphical Specification of Distributed Systems . In J. Fitzgerald, C. Jones, and P. Lucas, editors, Industrial Applications and Strengthened Foundations of Formal Methods (FME'97), LNCS 1313 , pages 122 -- 141 . Springer Verlag , 1997 . F. Huber, B. Sch\u00e4tz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In J. Fitzgerald, C. Jones, and P. Lucas, editors, Industrial Applications and Strengthened Foundations of Formal Methods (FME'97), LNCS 1313, pages 122--141. Springer Verlag, 1997."},{"key":"e_1_3_2_1_8_1","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz H.","year":"1997","unstructured":"H. Kopetz . Real-Time Systems: Design Principles for Distributed Embedded Applications . Kluwer , Boston , 1997 . H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, Boston, 1997."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings 1st International CAN Conference","author":"Tindell K.","year":"1994","unstructured":"K. Tindell and A. Burns . Guaranteeing message latencies on controller area network (CAN) . In Proceedings 1st International CAN Conference , September 1994 . K. Tindell and A. Burns. Guaranteeing message latencies on controller area network (CAN). In Proceedings 1st International CAN Conference, September 1994."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1016\/0890-5401(88)90043-0"}],"event":{"sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"acronym":"EMSOFT04","name":"EMSOFT04: Fourth ACM International Conference on Embedded Software 2004","location":"Pisa Italy"},"container-title":["Proceedings of the 4th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017753.1017786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:46Z","timestamp":1750282606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017753.1017786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,27]]},"references-count":10,"alternative-id":["10.1145\/1017753.1017786","10.1145\/1017753"],"URL":"https:\/\/doi.org\/10.1145\/1017753.1017786","relation":{},"subject":[],"published":{"date-parts":[[2004,9,27]]},"assertion":[{"value":"2004-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}