F. Marinho, R. Andrade, and C. Werner.
" A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines", in <em>Anais do V Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software</em>, São Paulo/SP, 2011, pp. 1-10.