ACAS X safety analysis in the current RTCA environment | IEEE Conference Publication | IEEE Xplore