A software product line of feature modeling notations and cross-tree constraint languages
generative programming - methods , tools and applications .