J. Melo and P. Borba.
" Improving Modular Reasoning on Preprocessor-Based Systems", in <em>Anais do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software</em>, Brasília/DF, 2013, pp. 11-19.