publicações selecionadas livro Automatic verification of design rules in PCB manufacturing 2018 teses Défices gémeos na Área do Euro: uma análise empírica 2019