Points-to analysis of IEC 61131-3 programs: Implementation and application | IEEE Conference Publication | IEEE Xplore