Variability Modeling: State of the Art and Future Directions