Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application.

Herbert PrähoferFlorian AngererRudolf RamlerFriedrich Grillenberger
Published in: IEEE Trans. Ind. Informatics (2017)