Andy Schürr, Sebastian Oster, Florian Markert: Model-Driven Software Product Line Testing: An Integrated Approach. SOFSEM 2010: 112-131