{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:26Z","timestamp":1725467426067},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055354","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:28:45Z","timestamp":1153970925000},"page":"272-281","source":"Crossref","is-referenced-by-count":3,"title":["Compiling graphical real-time specifications into silicon"],"prefix":"10.1007","author":[{"given":"Martin","family":"Fr\u00c4nzle","sequence":"first","affiliation":[]},{"given":"Karsten","family":"L\u00fcth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"24_CR1","first-page":"372","volume-title":"The European Conference on Design Automation","author":"G. Borriello","year":"1992","unstructured":"G. Borriello. Formalized timing diagrams. In The European Conference on Design Automation, pages 372\u2013377, Brussels, Belgium, Mar. 1992. IEEE Comp. Soc. Press."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"J. P. Bowen, M. Fr\u00c4nzle, E.-R. Olderog, and A. P. Ravn. Developing correct systems. In Proc. 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, pages 176\u2013189. IEEE Comp. Soc. Press, June 1993.","DOI":"10.1109\/EMWRT.1993.639088"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"K. Feyerabend and B. Josko. A visual formalism for real time requirement specification. In Transformation-Based Reactive System Development, volume 1231 of LNCS, pages 156\u2013168. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63010-4_11"},{"key":"24_CR4","unstructured":"K. Feyerabend and R. Schl\u00f6r. Hardware synthesis from requirement specifications. In Proceedings EURO-DAG with EURO-VHDL 96. IEEE Comp. Soc. Press, 1996."},{"key":"24_CR5","unstructured":"S. Golsen. State Machine Design Techniques for Verilog and Vhdl. Synopsys Journal of High Level Design, Sept. 1994."},{"key":"24_CR6","unstructured":"P. Khordoc, M. Dufresne, and E. Czerny. A Stimulus\/Response System based on Hierarchical Timing Diagrams. Technical report, Univ. de Montreal, 1991."},{"key":"24_CR7","volume-title":"Dissertation","author":"F. Korf","year":"1997","unstructured":"F. Korf. System-Level Synthesewerkzeuge: Von der Theorie zur Anwendung. Dissertation, Fachbereich Informatik, Universit\u00c4t Oldenburg, Germany, 1997."},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"C. Lewerentz and T. Lindner, editors. Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of LNCS. Springer-Verlag, Jan. 1995.","DOI":"10.1007\/3-540-58867-1"},{"key":"24_CR9","unstructured":"K. L\u00fcth. The ICOS synthesis environment. These proceedings."},{"key":"24_CR10","unstructured":"K. L\u00fcth, A. Metzner, T. Peikenkamp, and J. Risau. The EVENTS approach to rapid prototyping for embedded control systems. In Zielarchitekturen eingebetteter Systeme (ZES \u201997), Rostock, Germany, Sept. 1997."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog and H. Dierks. Decomposing real-time specifications. In H. Langmaack, W. de Roever, and A. Pnueli, editors, Compositionality: The Significant Difference, LNCS. Springer-Verlag, to appear 1998.","DOI":"10.1007\/3-540-49213-5_18"},{"key":"24_CR13","volume-title":"Doctoral dissertation","author":"A. P. Ravn","year":"1995","unstructured":"A. P. Ravn. Design of Embedded Real-Time Computing Systems. Doctoral dissertation, Dept. of Comp. Science, Danish Technical University, Lyngby, DK, 1995."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. In J. v. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 4, pages 133\u2013191. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"24_CR15","unstructured":"P. Vanbekbergen, G. Gossens, and B. Lin. Modeling and synthesis of timed asynchronous circuits. In Proceedings EURO-DAC with EURO-VHDL 94. IEEE Comp. Soc. Press, 1994."},{"issue":"5","key":"24_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269\u2013276, 1991.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/BFb0055354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:28:36Z","timestamp":1555734516000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/BFb0055354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":16,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/bfb0055354","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}