Hoffmann, J., & 		Fröhlich, A.
2023 Nov 21.  Data-Centric Design for Formal Verification of Vehicle Monitoring. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :