Zrelli, R. (2025). Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation [Thèse de doctorat, Polytechnique Montréal]. Disponible
