Formal worst-case timing analysis of Ethernet TSN's time-aware and peristaltic shapers | IEEE Conference Publication | IEEE Xplore