{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:20:38Z","timestamp":1778498438386,"version":"3.51.4"},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540528261","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0032042","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:05:31Z","timestamp":1134263131000},"page":"322-335","source":"Crossref","is-referenced-by-count":451,"title":["Automata for modeling real-time systems"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"S. Aggarwal, R.P. Kurshan, \u201cModeling elapsed time in protocol specification,\u201d Protocol Specification, Testing and Verification, III, 1983."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D.L. Dill, \u201cModel-checking for real-time systems,\u201d 5th IEEE LICS, 1990.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, \u201cReal-time logics: complexity and expressiveness,\u201d 5th IEEE LICS, 1990.","DOI":"10.21236\/ADA323441"},{"key":"26_CR4","unstructured":"J.R. B\u00fcchi, \u201cOn a decision method in restricted second-order arithmetic,\u201d Proc. Internat. Congr. Logic, Methodology, and Philosophy of Science 1960, Stanford Univ. Press, 1962."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Y. Choueka, \u201cTheories of automata on \u03c9-tapes: a simplified approach,\u201d JCSS 8, 1974.","DOI":"10.1016\/S0022-0000(74)80051-6"},{"key":"26_CR6","unstructured":"E.M. Clarke, I.A. Draghicescu, R.P. Kurshan, \u201cA unified approach for showing language containment and equivalence between various types of \u03c9-automata,\u201d Tech. report CMU-CS-89-192, Carnegie Mellon University, 1989."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E.A. Emerson, A.P. Sistla, \u201cAutomatic verification of finite-state concurrent systems using temporal logic specifications,\u201d ACM TOPLAS 8(2), 1986.","DOI":"10.1145\/5397.5399"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"D.L. Dill, Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits, Ph.D. Thesis, Carnegie Mellon Univ., 1988.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"D.L. Dill, \u201cTiming assumptions and verification of finite-state concurrent systems,\u201d Automatic Verification Methods for Finite State Systems, LNCS 407, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"26_CR11","unstructured":"J.E. Hopcroft, J.D. Ullman, Introduction to Automata theory, Languages and Computation, Addison-Wesley, 1979."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"F. Jahanian, A.K. Mok, \u201cSafety analysis of timing properties in real-time systems,\u201d IEEE Trans. on Software engineering, 12(9), 1986.","DOI":"10.1109\/TSE.1986.6313045"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"R. Koymans, \u201cSpecifying message passing and time-critical systems with temporal logic,\u201d Ph.D. Thesis, Eindhoven Univ. of Tech., 1989.","DOI":"10.1007\/3-540-51803-7_28"},{"key":"26_CR14","unstructured":"H.R. Lewis, \u201cFinite-state analysis of asynchronous circuits with bounded temporal uncertainty,\u201d Tech. Report TR-15-89, Harvard Univ., 1989."},{"key":"26_CR15","unstructured":"H.R. Lewis, \u201cA logic of concrete time intervals,\u201d 5th IEEE LICS, 1990."},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"R. McNaughton, \u201cTesting and generating infinite sequences by a finite automaton,\u201d Information and Control 9, 1966.","DOI":"10.1016\/S0019-9958(66)80013-X"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"A. Pnueli, \u201cApplications of temporal logic to the specification and verification of reactive systems: a survey of current trends,\u201d Current Trends in Concurrency, LNCS 244, Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027047"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"G.M. Reed, A.W. Roscoe, \u201cA timed model for communicating sequential processes,\u201d 13th ICALP, LNCS 226, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16761-7_81"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"S. Safra, \u201cOn the complexity of \u03c9-automata,\u201d 29th IEEE FOCS, 1988.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"A.P. Sistla, M.Y. Vardi, P. Wolper, \u201cThe complementation problem for B\u00fcchi automata with applications to temporal logic,\u201d Theoretical Computer Science 49, 1987.","DOI":"10.1016\/0304-3975(87)90008-9"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"P. Wolper, M.Y. Vardi, A.P. Sistla, \u201cReasoning about infinite computation paths,\u201d 24th IEEE FOCS, 1983.","DOI":"10.1109\/SFCS.1983.51"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0032042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:19:48Z","timestamp":1683307188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528261"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0032042","relation":{},"subject":[]}}