Melo, J., & 		Borba, P.
(2013).
 Improving Modular Reasoning on Preprocessor-Based Systems.
In <em>Proceedings of the 7th Brazilian Symposium on Software Components, Architectures, and Reuse</em>, (pp. 11-19). Porto Alegre: SBC.