Conformance checking for programmable logic controller programs and specifications | IEEE Conference Publication | IEEE Xplore