Improving Modular Reasoning on Preprocessor-Based Systems. - Jean Carlos de Carvalho Melo; Paulo Borba (SBCARS, 2013)