{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:59:34Z","timestamp":1778349574340,"version":"3.51.4"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1109\/jproc.2011.2161237","type":"journal-article","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T20:38:11Z","timestamp":1314304691000},"page":"45-59","source":"Crossref","is-referenced-by-count":129,"title":["Distributed Real-Time Software for Cyber\u2013Physical Systems"],"prefix":"10.1109","volume":"100","author":[{"given":"John C.","family":"Eidson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slobodan","family":"Matic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","author":"zou","year":"2011","journal-title":"From PTIDES to Ptidyos designing distributed real-time embedded systems"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.39"},{"key":"ref31","first-page":"31","article-title":"PTIDES on flexible task graph: Real-time embedded system building from theory to practice","author":"zou","year":"2009","journal-title":"Proc Conf Lang Compilers Tools Embedded Syst"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347382"},{"key":"ref10","first-page":"8","article-title":"Timing model and methodology for AUTOSAR","author":"jersak","year":"2007","journal-title":"Elektronik automotive"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref16","first-page":"11","article-title":"Modal models in Ptolemy","volume":"47","author":"lee","year":"2010","journal-title":"Proc 3rd Int Workshop Equation-Based Object-Oriented Model Lang Tools"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref18","first-page":"1","article-title":"The emergence of networking abstractions and techniques in tinyos","author":"levis","year":"2004","journal-title":"Proc 1st USENIX\/ACM Symp Netw Syst Design Implement"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"ref28","author":"zeigler","year":"2000","journal-title":"Theory of Modeling and Simulation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230182"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342710"},{"key":"ref3","author":"cassandras","year":"1993","journal-title":"Discrete Event Systems Modeling and Performance Analysis"},{"key":"ref6","first-page":"194","author":"eidson","year":"2006","journal-title":"Measurement Control and Communication Using IEEE 1588"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2008.51"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289935"},{"key":"ref9","year":"2008","journal-title":"1588 IEEE standard for a precision clock synchronization protocol for networked measurement and control systems"},{"key":"ref1","author":"berry","year":"2003","journal-title":"The effectiveness of synchronous languages for the development of safety-critical systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2006.1704153"},{"key":"ref22","first-page":"329","volume":"46","author":"papadopoulos","year":"1998","journal-title":"Advances in ComputersThe Engineering of Large Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887293"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681634"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-642-19835-9_34","article-title":"GameTime: A toolkit for timing analysis of software","author":"seshia","year":"2011","journal-title":"Proc Tools Algorithms Constr Anal Syst"},{"key":"ref25","article-title":"Quantitative analysis of systems using game-theoretic learning","author":"seshia","year":"2011","journal-title":"ACM Trans Embedded Comput Syst"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5\/6106039\/05995282.pdf?arnumber=5995282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:48:01Z","timestamp":1633909681000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5995282\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":33,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2011.2161237","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}