Opportunities and challenges of static code analysis of IEC 61131-3 programs. - Herbert Prähofer; Florian Angerer; Rudolf Ramler; Hermann Lacheiner; Friedrich Grillenberger (ETFA, 2012)

Points-to analysis of IEC 61131-3 programs: Implementation and application. - Florian Angerer; Herbert Prähofer; Rudolf Ramler; Friedrich Grillenberger (ETFA, 2013)

Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application. - Herbert Prähofer; Florian Angerer; Rudolf Ramler; Friedrich Grillenberger (IEEE Trans. Ind. Informatics, 2017)