Modeling Variabilities from Software Process Lines with Compositional and Annotative Techniques: A Quantitative Study.