Marinho, Fabiana, 		Andrade, Rossana, E 		Werner, Cláudia.
" A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines" <em>Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS)</em> [Online], (26 setembro 2011)