Melo, Jean, and Paulo Henrique Monteiro Borba. " Improving Modular Reasoning on Preprocessor-Based Systems." Anais do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, Brasília/DF, 2013. SBC, 2013, pp.11-19.