J. Hoffmann and A. Fröhlich.
" Data-Centric Design for Formal Verification of Vehicle Monitoring", in <em>Proceedings of the 13th Brazilian Symposium on Computing Systems Engineering</em>, Porto Alegre/RS, 2023, pp. 7-12.