Probabilistic model of AFDX frames reception for end system backlog assessment | IEEE Conference Publication | IEEE Xplore