Design of industrial automation systems - Formal requirements in the engineering process