Translation of continuous function charts to imperative synchronous quartz programs. - Marcel Christian Werner; Klaus Schneider 001 (MEMOCODE, 2021)

From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. - Marcel Christian Werner; Klaus Schneider 001 (FDL, 2022)

Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. - Marcel Christian Werner; Klaus Schneider 001 (FDL, 2023)

Model-Based Design of Program Organization Units Using Synchronous Languages. - Marcel Christian Werner (2025)