Melo, J., & Borba, P. (2013). Improving Modular Reasoning on Preprocessor-Based Systems. In Anais do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, (pp. 11-19). Porto Alegre: SBC.