Modeling variability in software product lines with the variation point model