Predictive safety models for more autonomous systems in ATM - Jurado RDA; Comendador VFG; Suarez MZ; Moreno FP; Gallego CEV; Valdes RMA (Aiaa/Ieee Digital Avionics Systems Conference - Proceedings, 2022)