{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T16:50:07Z","timestamp":1790787007366,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,13]],"date-time":"2010-06-13T00:00:00Z","timestamp":1276387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0720882 (CSR-EHS: PRET)0720841 (CSR-CPS)"],"award-info":[{"award-number":["0720882 (CSR-EHS: PRET)0720841 (CSR-CPS)"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["MURI FA9550-06-0312AF-TRUST FA9550-06-1-0244"],"award-info":[{"award-number":["MURI FA9550-06-0312AF-TRUST FA9550-06-1-0244"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["ARO W911NF-07-2-0019"],"award-info":[{"award-number":["ARO W911NF-07-2-0019"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,6,13]]},"DOI":"10.1145\/1837274.1837462","type":"proceedings-article","created":{"date-parts":[[2010,10,28]],"date-time":"2010-10-28T14:47:40Z","timestamp":1288277260000},"page":"737-742","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":257,"title":["CPS foundations"],"prefix":"10.1145","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[{"name":"University of California, Berkeley Berkeley, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"An Algebra for Discrete Event Systems","author":"Baccelli F.","year":"1992"},{"key":"e_1_3_2_1_2_1","volume-title":"Esterel Technologies","author":"Berry G.","year":"2003"},{"key":"e_1_3_2_1_3_1","volume-title":"Modeling and Performance Analysis. Irwin","author":"Cassandras C. G.","year":"1993"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355187"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2008.51"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278545"},{"key":"e_1_3_2_1_7_1","unstructured":"J. C. Eidson. Measurement Control and Communication Using IEEE 1588. Springer 2006.   J. C. Eidson. Measurement Control and Communication Using IEEE 1588 . Springer 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.22"},{"key":"e_1_3_2_1_11_1","volume-title":"Int. Conf. on Accelerator and Large Experimental Physics Control Systems","author":"Gaderer G.","year":"2009"},{"key":"e_1_3_2_1_12_1","volume-title":"IEEE","author":"IEEE Instrumentation and Measurement Society","year":"2002"},{"key":"e_1_3_2_1_13_1","first-page":"61","volume-title":"IEEE Control Systems Magazine","author":"Johannessen S.","year":"2004"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.65"},{"key":"e_1_3_2_1_16_1","volume-title":"Springer","author":"Kopetz H.","year":"1997"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060303"},{"key":"e_1_3_2_1_26_1","first-page":"447","volume-title":"REX Workshop","author":"Maler O.","year":"1992"},{"key":"e_1_3_2_1_27_1","first-page":"4","volume-title":"Hybrid Systems","author":"Manna Z.","year":"1992"},{"key":"e_1_3_2_1_28_1","volume-title":"IEEE Conference on Computer Assurance (COMPASS). IEEE","author":"Mok A. K.","year":"1987"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887293"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/517082.880712"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(97)00165-5"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1509456.1509584"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176894"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_36_1","unstructured":"B. P. Zeigler H. Praehofer and T. G. Kim. Theory of Modeling and Simulation. Academic Press 2nd edition 2000.   B. P. Zeigler H. Praehofer and T. G. Kim. Theory of Modeling and Simulation . Academic Press 2nd edition 2000."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"}],"event":{"name":"DAC '10: The 47th Annual Design Automation Conference 2010","location":"Anaheim California","acronym":"DAC '10","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"]},"container-title":["Proceedings of the 47th Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837274.1837462","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837274.1837462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:36Z","timestamp":1750246776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837274.1837462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,13]]},"references-count":35,"alternative-id":["10.1145\/1837274.1837462","10.1145\/1837274"],"URL":"https:\/\/doi.org\/10.1145\/1837274.1837462","relation":{},"subject":[],"published":{"date-parts":[[2010,6,13]]},"assertion":[{"value":"2010-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}