Marcel Christian Werner, Klaus Schneider. Translation of continuous function charts to imperative synchronous quartz programs. In S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001, editors, MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. pages 104-110, ACM, 2021. [doi]
Abstract is missing.