Verifying programmable logic controllers with abstraction | IEEE Conference Publication | IEEE Xplore