Dynamic separation minima prediction with collision risk modelling (CRM) | IEEE Conference Publication | IEEE Xplore