The Trajectory approach for AFDX FIFO networks revisited and corrected