From feature models to decision models and back again an analysis based on formal transformations. - Sascha El-Sharkawy; Stephan Dederichs; Klaus Schmid (SPLC (1), 2012)