selected publications academic article Formalization of Design Patterns and Their Automatic Identification in PLC Software for Architecture Assessment. IFAC-PapersOnLine. 53:7819-7826. 2020