Formal worst-case timing analysis of Ethernet TSN's burst-limiting shaper | IEEE Conference Publication | IEEE Xplore