Reliability Prediction and Safety Evaluation of ATC Automation System | IEEE Conference Publication | IEEE Xplore