A tight end-to-end delay bound and scheduling optimization of an avionics AFDX network | IEEE Conference Publication | IEEE Xplore