Alexander M. Gruler: A formal approach to software product families. Technical University Munich 2010, 1-288