AI/ML for Safety-Critical Software: The Case of the Space Domain. - Alberto Petrucci; Francesco Basciani; Patrizio Pelliccione (IEEE Softw., 2025)