J. Melo and P. Borba.
" Improving Modular Reasoning on Preprocessor-Based Systems", in <em>Proceedings of the 7th Brazilian Symposium on Software Components, Architectures, and Reuse</em>, Brasília/DF, 2013, pp. 11-19.