{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T21:10:02Z","timestamp":1737321002517,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664628"},{"type":"electronic","value":"9783540482574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48257-1_9","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T20:25:09Z","timestamp":1184963109000},"page":"151-167","source":"Crossref","is-referenced-by-count":1,"title":["A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Satoshi","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D. Dill. Model checking for real-time systems. In Proc. of 5th LICS, pp. 414\u2013425, 1992.","DOI":"10.1109\/LICS.1990.113766"},{"key":"9_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"The theory of Timed automata","author":"R. Alur","year":"1992","unstructured":"R. Alur, D. Dill. The theory of Timed automata. In Lecture Notes in Computer Science 600, pp.45\u201373, 1992."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D. Dill, L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. In Proc. 5th LICS, pp.428\u2013439, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","first-page":"24","volume-title":"The concurrency workbench","author":"R. Cleaveland","year":"1989","unstructured":"R. Cleaveland, J. Parrow, B. Steffen. The concurrency workbench. In Lecture Notes in Computer Science 407, pp.24\u201337, 1989."},{"key":"9_CR5","series-title":"Lect Notes Comput Sci","first-page":"255","volume-title":"Checking for Language Inclusion Using Simulation Preorders","author":"D. Dill","year":"1991","unstructured":"D. Dill, A.J. Hu, H. Wong-Toi. Checking for Language Inclusion Using Simulation Preorders. In Lecture Notes in Computer Science 575, pp.255\u2013265, 1991."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"N. Francez. Fairness. In Texts and monographs in computer science, Springer-verlag, P.295, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"9_CR7","unstructured":"J.E. Hopcroft, J.D. Ullman. Introduction to automata theory, languages, computation, P.418, Addison-Wesley PUB., 1979."},{"key":"9_CR8","unstructured":"IEEE Computer Society. IEEE ANSI\/IEEE 802.3, ISO\/DIS 8802\/3. IEEE Computer Society Press, 1985."},{"key":"9_CR9","unstructured":"R. Milner. Communication and Concurrency. In Prentice Hall, P.260, 1989."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"N.A. Lynch, M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proc. of ACM Symp. on Principles of Distributed Computing, pp.137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02252683","volume":"6","author":"N.A. Lynch","year":"1992","unstructured":"N.A. Lynch, H. Attiya. Using mapping to prove timing properties. In Distributed Computing, No.6, pp.121\u2013139, 1992.","journal-title":"Distributed Computing"},{"key":"9_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/3-540-61604-7_75","volume-title":"Verifying Abstracts of Timed Systems","author":"S. Tasiran","year":"1996","unstructured":"S. Tasiran, R. Alur, R.P. Kurshan, R.K. Brayton. Verifying Abstracts of Timed Systems. In LNCS 1119, pp.546\u2013562, 1996."}],"container-title":["Lecture Notes in Computer Science","Applied Formal Methods \u2014 FM-Trends 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48257-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T20:56:08Z","timestamp":1737320168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48257-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664628","9783540482574"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-48257-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}