Hoffmann, José, E 		Fröhlich, Antônio.
" Data-Centric Design for Formal Verification of Vehicle Monitoring" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (21 novembro 2023)