@inproceedings{thiele_2016_55529, author = {Thiele, Daniel and Ernst, Rolf}, title = {{Formal Worst-Case Timing Analysis of Ethernet TSN's Burst-Limiting Shaper}}, booktitle = {{2016 Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}}, year = 2016, pages = {187-192}, publisher = {IEEE}, month = jul, venue = {Dresden}, doi = {10.5281/zenodo.55529}, url = {https://doi.org/10.5281/zenodo.55529} }