Hoffmann, J., & 		Fröhlich, A.
2023 nov 21.  Data-Centric Design for Formal Verification of Vehicle Monitoring. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :