Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption
Exploiting shaper context to improve performance bounds of Ethernet AVB networks