AFDX simulation based on TTEthernet model under OMNeT++ | IEEE Conference Publication | IEEE Xplore