José Hoffmann and Antônio Fröhlich. 2023.
 Data-Centric Design for Formal Verification of Vehicle Monitoring. In <em>Anais do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 21, 2023, Porto Alegre/RS, Brasil. SBC, Porto Alegre, Brasil, 7-12.