A case study on variability in user interfaces