The Trajectory Approach for AFDX FIFO Networks Revisited and Corrected

doi 10.1109/rtcsa.2014.6910523