Combining aspect-oriented modeling with property-based reasoning to improve user interface adaptation.