Feature models are used to specify the variability of software product lines. We study a special subset of trees, called generalised feature trees, and show how they can be used to compute properties of the corresponding ...