Dynamic Variability Management in Product Lines: An Approach Based on Architectural Contracts | IEEE Conference Publication | IEEE Xplore