Markert, Florian : Formale Anforderungsanalyse und Testunterstützung im Produktlinienkontext. Datentechnik, Darmstadt [Ph.D. Thesis], (2012)