Auditoria de Sistemas de Votação Electrónica: Uma Proposta de Arquitectura e Protótipo de Simulação - Simões (2006)