Integrated reliability theory and evaluation methodology of AFDX | IEEE Conference Publication | IEEE Xplore