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