Flávio Miana, Claudionor Coelho Jr, Patricia Nattrodt, Antônio Fernandes, and Júlio Melo. 1997.
 Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems. In <em>Anais do IX Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, outubro 07, 1997, Campos do Jordão/SP, Brasil. SBC, Porto Alegre, Brasil, 241-252. DOI: <a href="https://doi.org/10.5753/sbac-pad.1997.22628">https://doi.org/10.5753/sbac-pad.1997.22628</a>.