Marinho, F., 		Andrade, R., & 		Werner, C.
2011 set 26.  A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). [Online] :