{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T04:26:31Z","timestamp":1744604791269,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:59Z","timestamp":1330297139000},"page":"325-339","source":"Crossref","is-referenced-by-count":1,"title":["High-level execution time analysis"],"prefix":"10.1007","author":[{"given":"Farn","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"22_CR1","unstructured":"R. Alur, C. Courcoubetis, D.L. Dill. Model Checking for Real-Time Systems. 5th IEEE LICS, 1990."},{"key":"22_CR2","unstructured":"R. Alur, T.A. Henzinger, P.-H. Ho. Automatic Symbolic Verification of Embedded Systems, in Proceedings of 1993 IEEE Real-Time System Symposium."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra, J.W. Klop. Decidability of Bisimulation Equivalence for Process Generating Context-Free Languages. Tech. Rep. CS-R8632, 1987, CWI.","DOI":"10.1007\/3-540-17945-3_5"},{"key":"22_CR4","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L.Dill, L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. 5th IEEE LICS, 1990."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, P. Habermehl. On the Verification Problem of Nonregular Properties for Nonregular Processes. 10th IEEE LICS, 1995.","DOI":"10.1007\/978-3-540-48654-1_8"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E.A. Emerson, and A.P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM TOPLAS 8(2), 1986, pp. 244\u2013263.","journal-title":"ACM TOPLAS"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"N. Chomsky. One Certain Formal Properties of Grammar. Information and Control, 2:2, 137\u2013167.","DOI":"10.1016\/S0019-9958(59)90362-6"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"S. Ginsburg, S.A. Greibach. Deterministic Context-Free Languages. Information and Control, 9:6, 563\u2013582.","DOI":"10.1016\/S0019-9958(66)80016-5"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A Visual Formalism for Complex Systems.\u201d The Weizmann Institute of Science Technical Report, Israel (July 1986). Also in Science of Programming 8, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, A. Pnueli. Temporal Proof Methodologies for Real-Time Systems. 18th ACM POPL, 1991.","DOI":"10.1145\/99583.99629"},{"key":"22_CR11","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Symbolic Model Checking for Real-Time Systems, 7th IEEE LICS, 1992."},{"key":"22_CR12","unstructured":"J.E. Hopcroft, J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979."},{"key":"22_CR13","unstructured":"F. Jahanian, A.K. Mok. Modechart: A Specification Language for Real-Time Systems.\u201d to appear in IEEE Transactions on Software Engineering."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, S. Yovine. From ATP to Timed Graphs and Hybrid Systems. In Real-Time: Theory in Practice, LNCS 600, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032007"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1145\/321356.321364","volume":"4","author":"R.J. Parikh","year":"1966","unstructured":"R.J. Parikh. On Context-Free Languages. Journal of the Association for Computing Machinery, 4 (1966), 570\u2013581.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"No.4","key":"22_CR16","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1145\/158431.158434","volume":"2","author":"F. Wang","year":"1993","unstructured":"F. Wang, A.K. Mok, E.A. Emerson. Real-Time Distributed System Specification and Verification in APTL. ACM TOSEM, Vol. 2, No. 4, Octobor 1993, pp. 346\u2013378. Also in 14th ACM ICSE, 1992.","journal-title":"ACM TOSEM"},{"key":"22_CR17","unstructured":"F. Wang. Timing Behavior Analysis for Real-Time Systems. 10th IEEE LICS, San Diego, 1995."},{"key":"22_CR18","volume-title":"LNCS 1051","author":"F. Wang","year":"1996","unstructured":"F. Wang, C.T. Lo. Procedure-Level Verification of Real-Time Concurrent Systems. in Proceedings of the 3rd FME, Oxford, Britain, March 1996; LNCS 1051, Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:34:57Z","timestamp":1742600097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}