Silva, L., & 		Oliveira, M.
2022 dez  6.  Automatic Generation of Verified Concurrent Hardware Using VHDL. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :