Behavior validation of production systems within different phases of the engineering process | IEEE Conference Publication | IEEE Xplore