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