Silva, L., & 		Oliveira, M.
(2022).
 Automatic Generation of Verified Concurrent Hardware Using VHDL.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 55-72). Porto Alegre: SBC.