S. Carvalho, O. Loques, and L. Murta. " Dynamic Variability Management in Product Lines: An Approach Based on Architectural Contracts", in Anais do IV Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, Salvador/BA, 2010, pp. 61-69.