F. Miana, C. Coelho Jr, P. Nattrodt, A. Fernandes, and J. Melo.
" 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>, Campos do Jordão/SP, 1997, pp. 241-252, doi: <a href="https://doi.org/10.5753/sbac-pad.1997.22628">https://doi.org/10.5753/sbac-pad.1997.22628</a>.