Testability Design and Analysis of an Airborne Avionics System | IEEE Conference Publication | IEEE Xplore