The Design and Implementation of the AFDX Network Simulation System | IEEE Conference Publication | IEEE Xplore