Ladiges, Jan, Haubeck, Christopher, Fay, Alexander, Lamersdorf, Winfried: Evolution Management of Production Facilities by Semi-Automated Requirement Verification. In: at - Automatisierungstechnik. Berlin, 2014, S. 781-793