selected publications academic article Formalization of Design Patterns and Their Automatic Identification in PLC Software for Architecture Assessment. IFAC-PapersOnLine. 53:7819-7826. 2020 conference paper Control Architecture and Transport Coordination for Autonomous Logistics Modules in Flexible Automated Material Flow Systems. . 2018