Qualitative Analysis of Fault Tree Diagnosis for TCAS Data Processor | IEEE Conference Publication | IEEE Xplore