An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks | Publicación