Miana, Flávio, Claudionor N. Coelho Jr, Patricia Nattrodt, Antônio O. Fernandes, and Júlio Cezar de Melo.
" Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems." <em>Anais do IX Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho,
Campos do Jordão/SP, 1997</em>. SBC, 1997,  
pp.241-252.