@INPROCEEDINGS{LadigesHaubeckFayLamersdorf2014, author = {Jan Ladiges and Christopher Haubeck and Alexander Fay and Winfried Lamersdorf}, title = {Evolution Management of Production Facilities by Semi-Automated Requirement Verification}, booktitle = {at - Automatisierungstechnik}, year = {2014}, volume = {62}, number = {11}, pages = {781-793}, month = {10}, publisher = { Berlin} }