Lisboa, Carlos, and Luigi Carro. " Em busca de soluções em nível de sistema para tecnologias não confiáveis." Anais do XXXIV Seminário Integrado de Software e Hardware, Rio de Janeiro/RJ, 2007. SBC, 2007, pp.2173-2187.