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>Proceedings of the 9th Brazilian Symposium on Computer Architecture and High Performance Computing,
Campos do Jordão/SP, 1997</em>. SBC, 1997,  
pp.241-252.