Dependability Analysis of the AFDX Frame Management Design. - Venesa Watson; Mahlet Bejiga (SAFECOMP, 2018)