Simulation and Analysis of AFDX Performance Based on Petri Net | IEEE Conference Publication | IEEE Xplore