Hoffmann, J., & 		Fröhlich, A.
(2023).
 Data-Centric Design for Formal Verification of Vehicle Monitoring.
In <em>Proceedings of the 13th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 7-12). Porto Alegre: SBC.