Formalization of Design Patterns and Their Automatic Identification in PLC Software for Architecture Assessment. Issue 2 (2020)