T. Lecomte.
" Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 196-206.