Marinho, F., 		Andrade, R., & 		Werner, C.
2011 Sep 26.  A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines. Proceedings of the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS). [Online] :