Variability in Specifications