{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:03Z","timestamp":1772163903312,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,14]],"date-time":"2006-06-14T00:00:00Z","timestamp":1150243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,14]]},"DOI":"10.1145\/1134650.1134667","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"113-124","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Synthesizing safe state machines from Esterel"],"prefix":"10.1145","author":[{"given":"Steffen","family":"Prochnow","sequence":"first","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Traulsen","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"19","volume-title":"Computational Engineering in Systems Applications (CESA) (Lille (F)","author":"Andr\u00e9 C.","year":"1996","unstructured":"Andr\u00e9 , C. Representation and Analysis of Reactive Behaviors: A Synchronous Approach . In Computational Engineering in Systems Applications (CESA) (Lille (F) , July 1996 ), IEEE-SMC , pp. 19 -- 29 . Andr\u00e9, C. Representation and Analysis of Reactive Behaviors: A Synchronous Approach. In Computational Engineering in Systems Applications (CESA) (Lille (F), July 1996), IEEE-SMC, pp. 19--29."},{"key":"e_1_3_2_1_3_1","volume-title":"Esterel Technologies","author":"Andr\u00e9 C.","year":"2003","unstructured":"Andr\u00e9 , C. Semantics of S.S.M (Safe State Machine). Tech. rep ., Esterel Technologies , Sophia-Antipolis , France, Apr . 2003 . available at http:\/\/www.esterel-technologies.com, in the download section. Andr\u00e9, C. Semantics of S.S.M (Safe State Machine). Tech. rep., Esterel Technologies, Sophia-Antipolis, France, Apr. 2003. available at http:\/\/www.esterel-technologies.com, in the download section."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.007"},{"key":"e_1_3_2_1_5_1","volume-title":"Draft Book","author":"Berry G.","year":"1999","unstructured":"Berry , G. The Constructive Semantics of Pure Esterel . Draft Book , 1999 . Berry, G. The Constructive Semantics of Pure Esterel. Draft Book, 1999."},{"key":"e_1_3_2_1_6_1","volume-title":"Version v5_91","author":"Berry G.","year":"2000","unstructured":"Berry , G. The Esterel v5 Language Primer , Version v5_91 . Centre de Math\u00e9matiques Appliqu\u00e9es Ecole de s Mines and INRIA, 06565 Sophia-Antipolis, 2000 . Berry, G. The Esterel v5 Language Primer, Version v5_91. Centre de Math\u00e9matiques Appliqu\u00e9es Ecole des Mines and INRIA, 06565 Sophia-Antipolis, 2000."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.7155\/jgaa.00056"},{"key":"e_1_3_2_1_9_1","unstructured":"Estbench Esterel Benchmark Suite. http:\/\/www1.cs.columbia.edu\/~sedwards\/software\/estbench-1.0.tar.gz.  Estbench Esterel Benchmark Suite. http:\/\/www1.cs.columbia.edu\/~sedwards\/software\/estbench-1.0.tar.gz."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Edwards S. A. CEC: The Columbia Esterel Compiler. http:\/\/www1.cs.columbia.edu\/~sedwards\/cec\/.  Edwards S. A. CEC: The Columbia Esterel Compiler. http:\/\/www1.cs.columbia.edu\/~sedwards\/cec\/.","DOI":"10.1155\/2007\/52651"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODEVA.2004.1425850"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11%3C1203::AID-SPE338%3E3.3.CO;2-E"},{"key":"e_1_3_2_1_13_1","first-page":"9","volume":"79","author":"Guernic P. L.","year":"1991","unstructured":"Guernic , P. L. , Goutier , T. , Borgne , M. L. , and Maire , C. L. Programming real time applications with SIGNAL. Proceedings of the IEEE 79 , 9 ( Sept. 1991 ). Guernic, P. L., Goutier, T., Borgne, M. L., and Maire, C. L. Programming real time applications with SIGNAL. Proceedings of the IEEE 79, 9 (Sept. 1991).","journal-title":"SIGNAL. Proceedings of the IEEE"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75414"},{"key":"e_1_3_2_1_17_1","volume-title":"Institut f\u00fcr Informatik und Praktische Mathematik","author":"K\u00fchl L.","year":"2005","unstructured":"K\u00fchl , L. Transformation von Esterel nach Esterel Studio. Diplomarbeit, Christian-Albrechts-Universit\u00e4t zu Kiel , Institut f\u00fcr Informatik und Praktische Mathematik , Sept. 2005 . K\u00fchl, L. Transformation von Esterel nach Esterel Studio. Diplomarbeit, Christian-Albrechts-Universit\u00e4t zu Kiel, Institut f\u00fcr Informatik und Praktische Mathematik, Sept. 2005."},{"key":"e_1_3_2_1_18_1","unstructured":"Object Management Group. Unified Modeling Lanugage---UML Resource Page. http:\/\/www.uml.org.  Object Management Group. Unified Modeling Lanugage---UML Resource Page. http:\/\/www.uml.org."},{"key":"e_1_3_2_1_19_1","volume-title":"Design, Automation and Test in Europe 2006 (DATE'06) (M\u00fcnchen","author":"Prochnow S.","year":"2006","unstructured":"Prochnow , S. , and Hanxleden , R . v. Comfortable Modeling of Complex Reactive Systems . In Design, Automation and Test in Europe 2006 (DATE'06) (M\u00fcnchen , March 2006 ). Prochnow, S., and Hanxleden, R. v. Comfortable Modeling of Complex Reactive Systems. In Design, Automation and Test in Europe 2006 (DATE'06) (M\u00fcnchen, March 2006)."},{"key":"e_1_3_2_1_20_1","unstructured":"Rational Software. Rational rose technical developer. http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/technical\/.  Rational Software. Rational rose technical developer. http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/technical\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/784820.784830"},{"key":"e_1_3_2_1_22_1","unstructured":"The Mathworks. Stateflow---Design and simulate event-driven systems. http:\/\/www.mathworks.com\/products\/stateflow\/.  The Mathworks. Stateflow---Design and simulate event-driven systems. http:\/\/www.mathworks.com\/products\/stateflow\/."}],"event":{"name":"LCTES06: Languages, Compilers, and Tools for Embedded Systems 2006","location":"Ottawa Ontario Canada","acronym":"LCTES06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2006 ACM SIGPLAN\/SIGBED conference on Language, compilers, and tool support for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134667","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134650.1134667","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:47Z","timestamp":1750263767000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134667"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,14]]},"references-count":21,"alternative-id":["10.1145\/1134650.1134667","10.1145\/1134650"],"URL":"https:\/\/doi.org\/10.1145\/1134650.1134667","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1159974.1134667","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,14]]},"assertion":[{"value":"2006-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}