Verification and Validation Framework for AFDX Avionics Networks. - Javier Villegas; Sergio Fortes 001; Vicente Escaño; Carlos Baena; Benjamín Colomer; Raquel Barco (IEEE Access, 2022)

An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks. - Pablo Vera-Soto; Javier Villegas; Sergio Fortes 001; José Pulido; Vicente Escaño; Rafael Ortiz; Raquel Barco (CoRR, 2023)