Patrick Mäder: Rule-based maintenance of post-requirements traceability. Technische Universität Ilmenau, Germany 2010, ISBN 978-3-86991-093-2, 1-229