Statistics for Modeling and Implementing Variability in Aerospace Systems Product Lines