Marinho, F., 		Andrade, R., & 		Werner, C.
(2011).
 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>, (pp. 1-10). Porto Alegre: SBC.