Hoffmann, J., & 		Fröhlich, A.
(2023).
 Data-Centric Design for Formal Verification of Vehicle Monitoring.
In <em>Anais do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 7-12). Porto Alegre: SBC.