Methods for bounding end-to-end delays on an AFDX network | IEEE Conference Publication | IEEE Xplore