Pragmatic Uses of AI in Formal Methods-Based Railway Projects: Early Lessons and Perspectives (Extended Abstract). - Thierry Lecomte; Dalay Almeida; Norman Maury (FM (2), 2026)