@phdthesis{Liebig2015, author = {J{\"o}rg Liebig}, title = {Analysis and Transformation of Configurable Systems}, pages = {160}, school = {Universit{\"a}t Passau}, year = {2015}, }