Availability Analysis of Electronic Flight Instrument System Based on Dynamic Fault Dependent Matrix | IEEE Conference Publication | IEEE Xplore