AI Engineering for Safety-Critical Control Systems: An Aerospace Perspective. - Umut Durak; Zamira Daw; Ufuk Topcu; Ella Atkins; Darren Cofer; Mevlut Uzun; Gökhan Inalhan; Leonidas Kosmidis; James L. Paunicka; Trung T. Pham (ACC, 2025)