Melo, J., & Borba, P. 2013 set 29. Improving Modular Reasoning on Preprocessor-Based Systems. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). [Online] :