A systematic approach to test and fault isolation of digital avionics | IEEE Conference Publication | IEEE Xplore