L. Silva and M. Oliveira.
" Automatic Generation of Verified Concurrent Hardware Using VHDL", in <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, Evento Online, 2022, pp. 55-72.