We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Reverse Engineering Feature Models
Our paper is available here. An implementation of our feature model synthesis is available on BitBucket.
The Linux Variability Model used in our evaluation is available as a CNF formula in dimacs format.