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>Proceedings of the 5th Brazilian Symposium on Software Components, Architectures, and Reuse</em>, September 26, 2011, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 1-10.