Fabiana Marinho, Rossana Andrade, and Cláudia Werner. 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>, setembro 26, 2011, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 1-10.