Formal worst-case timing analysis of Ethernet TSN's time-aware and peristaltic shapers
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised