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)