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