Opportunities and challenges of static code analysis of IEC 61131-3 programs | IEEE Conference Publication | IEEE Xplore