Markert, Florian :
Formale Anforderungsanalyse und Testunterst├╝tzung im Produktlinienkontext.
Technische Universit├Ąt, Darmstadt
[Ph.D. Thesis], (2012)