Control software of automated production systems evolves to adapt to changing requirements. Quality assurance of the changes is to be rigorously obtained for reliable system execution. Considering target and engineering characteristics, requirements of automation engineers are analyzed, and a corresponding formal specification approach is presented to be usable by them. The concepts are integrated into the engineering workflow utilizing the expressiveness of the specification in various phases.