A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems | IEEE Conference Publication | IEEE Xplore