Formal Specification and Verification of Industrial Control Logic Components | IEEE Journals & Magazine | IEEE Xplore