Predictive safety models for more autonomous systems in ATM | IEEE Conference Publication | IEEE Xplore