Miana, Flávio, 		Coelho Jr, Claudionor, 		Nattrodt, Patricia, 		Fernandes, Antônio, E 		Melo, Júlio.
" Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (7 outubro 1997)