An Event-Driven Link-Level Simulator for the Validation of AFDX and Ethernet Avionics Networks | Publicación