Requirement-oriented health metrics of integrated avionics systems | IEEE Conference Publication | IEEE Xplore