{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:01:44Z","timestamp":1725544904069},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423454"},{"type":"electronic","value":"9783540445852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44585-4_38","type":"book-chapter","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T14:39:50Z","timestamp":1265899190000},"page":"387-390","source":"Crossref","is-referenced-by-count":3,"title":["Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams"],"prefix":"10.1007","author":[{"given":"Nina","family":"Amla","sequence":"first","affiliation":[]},{"given":"E. Allen","family":"Emerson","sequence":"additional","affiliation":[]},{"given":"Robert P.","family":"Kurshan","sequence":"additional","affiliation":[]},{"given":"Kedar","family":"Namjoshi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"38_CR1","series-title":"Lect Notes Comput Sci","volume-title":"FMCAD","author":"N. Amla","year":"2000","unstructured":"N. Amla, E.A. Emerson, R.P. Kurshan, and K.S. Namjoshi. Model checking synchronous timing diagrams. In FMCAD, volume 1954 of LNCS, 2000."},{"key":"38_CR2","series-title":"Lect Notes Comput Sci","volume-title":"TACAS","author":"N. Amla","year":"2001","unstructured":"N. Amla, E.A. Emerson, K. Namjoshi, and R. Trefler. Assume-guarantee based compositional reasoning for synchronous timing diagrams. In TACAS, volume 2031 ofLNCS, 2001."},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"T. Amon, G. Borriello, T. Hu, and J. Liu. Symbolic Timing Verification of Timing Diagrams Using Presburger Formulas. In DAC, 1997.","DOI":"10.1145\/266021.266071"},{"key":"38_CR4","unstructured":"A. Benveniste. Safety Critical Embedded Systems Design: the SACRES approach. Technical report, INRIA, May 1998. URL: http:\/\/www.tni.fr\/sacres\/index.html ."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"U. Brockmeyer and G. Wittich. Tamagotchis need not die-Verification of STATEMATE Designs. In TACAS. Springer-Verlag, March 1998.","DOI":"10.1007\/BFb0054174"},{"key":"38_CR6","unstructured":"E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In Workshop on Logics of Programs, volume 131. Springer Verlag, 1981."},{"key":"38_CR7","unstructured":"W. Damm, B. Josko, and Rainer Schl\u00f6r. Specification and Verification of VHDL-based System-level Hardware Designs. In Egon Borger, editor, Specification and Validation Methods. Oxford University Press, 1994."},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"K. Fisler. Containment of Regular Languages in Non-Regular Timing Diagrams Languages is Decidable. In CAV. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63166-6_17"},{"key":"38_CR9","unstructured":"K. Fisler. On Tableau Constructions for Timing Diagrams. In NASA Langley Workshop on Formal Methods, 2000."},{"key":"38_CR10","series-title":"Lect Notes Comput Sci","volume-title":"CAV","author":"R.H. Hardin","year":"1996","unstructured":"R.H. Hardin, Z. Har\u2019el, and R.P. Kurshan. COSPAN. In CAV, volume 1102 of LNCS, 1996."},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"J. Helbig, R. Schlor, W. Damm, G. Dohmen, and P. Kelb. VHDL\/S-integrating statecharts, timing diagrams, and VHDL. Microprocessing and Microprogramming, 38, 1993.","DOI":"10.1016\/0165-6074(93)90197-S"},{"key":"38_CR12","unstructured":"PCI Special Interest Group. PCI Local Bus Specification Rev 2.1. Technical report, December 1998."},{"key":"38_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the 5th International Symposium on Programming","author":"J.P. Queille","year":"1982","unstructured":"J.P. Queille and J. Sifakis. Specification and Verification of Concurrent Systems in CESAR. In Proc. of the 5th International Symposium on Programming, volume 137 of LNCS, 1982."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44585-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T18:28:45Z","timestamp":1558808925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44585-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423454","9783540445852"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44585-4_38","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}