{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:18:18Z","timestamp":1729639098405,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/real.1989.63580","type":"proceedings-article","created":{"date-parts":[[2003,1,7]],"date-time":"2003-01-07T19:15:12Z","timestamp":1041966912000},"page":"268-284","source":"Crossref","is-referenced-by-count":13,"title":["Time bounds for real-time process control in the presence of timing uncertainty"],"prefix":"10.1109","author":[{"given":"H.","family":"Attiya","sequence":"first","affiliation":[]},{"given":"N.A.","family":"Lynch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313045"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009519"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90020-X"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.233170"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80033-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICII.2001.983015"},{"year":"0","key":"ref17"},{"key":"ref19","article-title":"Time constrained automata","author":"merritt","year":"1988","journal-title":"Manuscript"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235261"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/800216.806585"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90028-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231845"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/TSE.1981.231111","article-title":"real-time behavior of programs","volume":"se 7","author":"haase","year":"1981","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0885-064X(85)90010-X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2402.322387"},{"journal-title":"Technical Report","year":"1987","key":"ref18b"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA213791","author":"attiya","year":"1989","journal-title":"Time bounds for real-time processcontrol in the presence of timing uncertainty"},{"key":"ref9","first-page":"223","article-title":"Full abstraction of a realtime denotational semantics for an OCCAM-like language","author":"huizing","year":"1987","journal-title":"Proc 15th Ann ACM Symp Principles of Programming Languages"},{"key":"ref20","first-page":"75","article-title":"Petri nets for performance evaluation, in Measuring, Modeling and Evaluating Computer Systems","author":"sifakis","year":"1977","journal-title":"Proc 3rd Symp IFIP Working Group 7 3"},{"key":"ref18a","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41852"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90043-0"},{"journal-title":"An overview of clock synchronization","year":"1988","author":"simons","key":"ref21"},{"year":"0","key":"ref23"}],"event":{"name":"[1989] Proceedings. Real-Time Systems Symposium","location":"Santa Monica, CA, USA"},"container-title":["[1989] Proceedings. Real-Time Systems Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/268\/2318\/00063580.pdf?arnumber=63580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,25]],"date-time":"2018-01-25T10:40:43Z","timestamp":1516876843000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/63580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/real.1989.63580","relation":{},"subject":[]}}