Automating Test Case Selection in Model-Based Software Product Line Development - Markus Roggenbach (International Journal of Software and Informatics, 2015)