Predictive safety models for more autonomous systems in ATM | Publicación