Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption
Formal worst-case timing analysis of Ethernet TSN's time-aware and peristaltic shapers