Availability analysis of electronic flight instrument system based on dynamic fault tree | IEEE Conference Publication | IEEE Xplore