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