Design of industrial automation systems — Formal requirements in the engineering process | IEEE Conference Publication | IEEE Xplore