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