Maikel Kolling, Felipe Kuentzer, Cristiano Battisti, Cristiano Both, Rafael Santos, and Tatiana Santos. 2008.
 Verificação em Hardware de Componentes de Comunicação. In <em>Anais do IX Simpósio em Sistemas Computacionais de Alto Desempenho</em>, outubro 29, 2008, Campo Grande, Brasil. SBC, Porto Alegre, Brasil, 143-150. DOI: <a href="https://doi.org/10.5753/wscad.2008.17678">https://doi.org/10.5753/wscad.2008.17678</a>.