Arndt Lüder, Ronald Rosendahl, Nicole Schmidt. Validation of behavior specifications of production systems within different phases of the engineering process. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-8, IEEE, 2013. [doi]