Periodic message-based modeling and performance analysis of AFDX | IEEE Conference Publication | IEEE Xplore