N. Matulevicius and L. Cordeiro. "Verifying Security Vulnerabilities for Blockchain-based Smart Contracts", in Anais do XI SimpĆ³sio Brasileiro de Engenharia de Sistemas Computacionais, Evento Online, 2021, pp. 89-96.