Formal specification and verification of components for industrial logic control programming | IEEE Conference Publication | IEEE Xplore