{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:59Z","timestamp":1725467399550},"publisher-location":"Berlin, Heidelberg","reference-count":11,"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\/bfb0055356","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T07:28:45Z","timestamp":1153985325000},"page":"294-297","source":"Crossref","is-referenced-by-count":3,"title":["The ICOS synthesis environment"],"prefix":"10.1007","author":[{"given":"Karsten","family":"L\u00fcth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"unstructured":"W. Damm, B. Josko, and R. Schl\u00f6r. Specification and verification of VHDL-based system-level hardware designs. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995.","key":"26_CR1"},{"doi-asserted-by":"crossref","unstructured":"Konrad Feyerabend and Bernhard Josko. A visual formalism for real time requirement specification. In Transformation-Based Reactive System Development, number 1231 in LNCS, pages 156\u2013168. Springer Verlag, 1997.","key":"26_CR2","DOI":"10.1007\/3-540-63010-4_11"},{"doi-asserted-by":"crossref","unstructured":"Konrad Feyerabend and Rainer Schl\u00f6r. Hardware synthesis from requirement specifications. In Proceedings EURO-DAC with EURO-VHDL 96. IEEE Computer Society Press, 1996.","key":"26_CR3","DOI":"10.1109\/EURDAC.1996.558249"},{"doi-asserted-by":"crossref","unstructured":"Martin Fr\u00c4nzle and Karsten L\u00fcth. Compiling Graphical Real-Time Specification into Silicon. In Formal Techniques in Real-Time and Fault-Tolerant Systems, September 1998.","key":"26_CR4","DOI":"10.1007\/BFb0055354"},{"unstructured":"S. Golsen. State Machine Design Techniques for Verilog and Vhdl. Synopsys Journal of High Level Design, September 1994.","key":"26_CR5"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development od complex reactive systems. IEEE Transactions on Software Engineering, 16:403\u2013414, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"26_CR8","first-page":"385","volume-title":"Interface controller synthesis from requirement specifications","author":"F. Korf","year":"1994","unstructured":"F. Korf and R. Schl\u00f6r. Interface controller synthesis from requirement specifications. In Proceedings, The European Conference on Design Automation, pages 385\u2013394, Paris, France, February 1994. IEEE Computer Society Press."},{"doi-asserted-by":"crossref","unstructured":"Karsten L\u00fcth, Thomas Peikenkamp, and J\u00fcrgen Risau. HW\/SW Cosynthesis using Statecharts and Symbolic Timing Diagrams. In Proceedings of the 9th IEEE International Workshop on Rapid System Prototyping, 1998.","key":"26_CR9","DOI":"10.1109\/IWRSP.1998.676694"},{"issue":"1","key":"26_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/237432.237438","volume":"6","author":"L.E. Moser","year":"1997","unstructured":"L.E. Moser, Y.S. Ramakrishna, G. Kutty, P.M. Melliar-Smith, and Dillon L. K. A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Transactions on Software Engineering and Methodology, 6(1):31\u201379, 1997.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. On the synthesis of strategies in infinite games. In E. W. Meyer and C. Puech, editors, Symposium on Theoretical Aspects of Computer Science (STAGS 95), volume 900 of Lecture Notes in Computer Science, pages 1\u201313. Springer-Verlag, March 1995.","key":"26_CR11","DOI":"10.1007\/3-540-59042-0_57"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:28:41Z","timestamp":1555748921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055356","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}