{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:59Z","timestamp":1750220399008,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T00:00:00Z","timestamp":1637366400000},"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":[[2021,11,20]]},"DOI":"10.1145\/3487212.3487338","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T20:01:45Z","timestamp":1640116905000},"page":"104-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Translation of continuous function charts to imperative synchronous quartz programs"],"prefix":"10.1145","author":[{"given":"Marcel Christian","family":"Werner","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,12,21]]},"reference":[{"volume-title":"Retrieved","year":"2021","key":"e_1_3_2_1_1_1","unstructured":"Beremiz. 2021 . Beremiz Overview . Retrieved March 21, 2021 from https:\/\/beremiz.org\/doc Beremiz. 2021. Beremiz Overview. Retrieved March 21, 2021 from https:\/\/beremiz.org\/doc"},{"volume-title":"Verification of Programmable Logic Controller Code using Model Checking and Static Analysis","author":"Biallas Sebastian","key":"e_1_3_2_1_2_1","unstructured":"Sebastian Biallas . 2016. Verification of Programmable Logic Controller Code using Model Checking and Static Analysis . Shaker Verlag GmbH , Aachen . Sebastian Biallas. 2016. Verification of Programmable Logic Controller Code using Model Checking and Static Analysis. Shaker Verlag GmbH, Aachen."},{"key":"e_1_3_2_1_3_1","volume-title":"On Formal Reasoning on the Semantics of PLC using Coq. ArXiv","author":"Blech Jan Olaf","year":"2013","unstructured":"Jan Olaf Blech and Sidi Ould Biha . 2013. On Formal Reasoning on the Semantics of PLC using Coq. ArXiv ( 2013 ), 1--35. arXiv:arXiv:1301.3047v1 Jan Olaf Blech and Sidi Ould Biha. 2013. On Formal Reasoning on the Semantics of PLC using Coq. ArXiv (2013), 1--35. arXiv:arXiv:1301.3047v1"},{"key":"e_1_3_2_1_4_1","volume-title":"Retrieved","author":"Contact Phoenix","year":"2021","unstructured":"Phoenix Contact . 2021 . PC Worx - one programming software solution for all controllers . Retrieved March 21, 2021 from https:\/\/www.phoenixcontact.com\/online\/portal\/gb?1dmy&urile=wcm:path:\/gben\/web\/main\/products\/subcategory_pages\/PLC_programming_P-19-05\/8b777145-e7f2-4eaa-ae5e-4dacdce30223\/8b777145-e7f2-4eaa-ae5e-4dacdce30223#section7e08a58e-7a7b-4af0--97e6-6258282aa193 Phoenix Contact. 2021. PC Worx - one programming software solution for all controllers. Retrieved March 21, 2021 from https:\/\/www.phoenixcontact.com\/online\/portal\/gb?1dmy&urile=wcm:path:\/gben\/web\/main\/products\/subcategory_pages\/PLC_programming_P-19-05\/8b777145-e7f2-4eaa-ae5e-4dacdce30223\/8b777145-e7f2-4eaa-ae5e-4dacdce30223#section7e08a58e-7a7b-4af0--97e6-6258282aa193"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_32"},{"key":"e_1_3_2_1_6_1","volume-title":"Retrieved","author":"Electric Schneider","year":"2021","unstructured":"Schneider Electric . 2021 . Continuous Function Chart (CFC) Language . Retrieved March 21, 2021 from https:\/\/product-help.schneider-electric.com\/MachineExpert\/V1.1\/en\/SoMProg\/SoMProg\/CFC_Editor\/CFC_Editor-2.htm#XREF_D_SE_0083490_1 Schneider Electric. 2021. Continuous Function Chart (CFC) Language. Retrieved March 21, 2021 from https:\/\/product-help.schneider-electric.com\/MachineExpert\/V1.1\/en\/SoMProg\/SoMProg\/CFC_Editor\/CFC_Editor-2.htm#XREF_D_SE_0083490_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47443-4_10"},{"key":"e_1_3_2_1_8_1","volume-title":"Programmable controllers - Part 3: Programming languages (IEC 61131-3:2013)","author":"Deutsches DIN","year":"2013","unstructured":"DIN Deutsches Institut f \u00fcr Normung e. V. 2014. Programmable controllers - Part 3: Programming languages (IEC 61131-3:2013) ; German version EN 61131-3: 2013 . DIN Deutsches Institut f\u00fcr Normung e. V. 2014. Programmable controllers - Part 3: Programming languages (IEC 61131-3:2013); German version EN 61131-3:2013."},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved","author":"CODESYS","year":"2021","unstructured":"CODESYS GmbH. 2021 . Continuous Function Chart (CFC) . Retrieved March 21, 2021 from https:\/\/help.codesys.com\/webapp\/_cds_f_programming_language_cfc;product=codesys;version=3.5.16.0 CODESYS GmbH. 2021. Continuous Function Chart (CFC). Retrieved March 21, 2021 from https:\/\/help.codesys.com\/webapp\/_cds_f_programming_language_cfc;product=codesys;version=3.5.16.0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.01.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934016"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12015-2"},{"key":"e_1_3_2_1_13_1","volume-title":"Retrieved","author":"Beckhoff Automation GmbH & Co. KG.","year":"2021","unstructured":"Beckhoff Automation GmbH & Co. KG. 2021 . Beckhoff Information System . Retrieved March 21, 2021 from https:\/\/infosys.beckhoff.com\/ Beckhoff Automation GmbH & Co. KG. 2021. Beckhoff Information System. Retrieved March 21, 2021 from https:\/\/infosys.beckhoff.com\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2019.106667"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_16M4-Citavi"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9415-7"},{"key":"e_1_3_2_1_17_1","volume-title":"Retrieved","author":"Embedded Systems Group (University of Kaiserslautern).","year":"2021","unstructured":"Embedded Systems Group (University of Kaiserslautern). 2021 . Averest - Model-based Design of Parallel Embedded Reactive Systems . Retrieved March 21, 2021 from http:\/\/www.averest.org\/ Embedded Systems Group (University of Kaiserslautern). 2021. Averest - Model-based Design of Parallel Embedded Reactive Systems. Retrieved March 21, 2021 from http:\/\/www.averest.org\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.10"},{"key":"e_1_3_2_1_19_1","first-page":"01","article-title":"PLCopen Technical Committee 6","volume":"2","year":"2009","unstructured":"PLCOpen. 2009 . PLCopen Technical Committee 6 , XML Formats for IEC 61131-3, Version 2 . 01 - Official Release. PLCOpen. 2009. PLCopen Technical Committee 6, XML Formats for IEC 61131-3, Version 2.01 - Official Release.","journal-title":"XML Formats for IEC 61131-3, Version"},{"volume-title":"Retrieved","year":"2021","key":"e_1_3_2_1_20_1","unstructured":"PLCopen. 2021 . What is PLCopen . Retrieved March 29, 2021 from https:\/\/plcopen.org\/what-plcopen PLCopen. 2021. What is PLCopen. Retrieved March 29, 2021 from https:\/\/plcopen.org\/what-plcopen"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"volume-title":"The synchronous programming language Quartz (2.0 ed.). Department of Computer Science","author":"Schneider Klaus","key":"e_1_3_2_1_22_1","unstructured":"Klaus Schneider . 2010. The synchronous programming language Quartz (2.0 ed.). Department of Computer Science , University of Kaiserslautern , Kaiserslautern. 1--455 pages. Klaus Schneider. 2010. The synchronous programming language Quartz (2.0 ed.). Department of Computer Science, University of Kaiserslautern, Kaiserslautern. 1--455 pages."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-7358-4_3-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.3182\/20120523-3-RO-2023.00370"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638420"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00135-5"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2009.5415231"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195891"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347144"}],"event":{"name":"MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Virtual Event China","acronym":"MEMOCODE '21"},"container-title":["Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487338","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487212.3487338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:47Z","timestamp":1750191527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487338"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,20]]},"references-count":29,"alternative-id":["10.1145\/3487212.3487338","10.1145\/3487212"],"URL":"https:\/\/doi.org\/10.1145\/3487212.3487338","relation":{},"subject":[],"published":{"date-parts":[[2021,11,20]]},"assertion":[{"value":"2021-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}