Philip Axer, Daniel Thiele, Rolf Ernst. Formal timing analysis of automatic repeat request for switched real-time networks. In Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014, Pisa, Italy, June 18-20, 2014. pages 78-87, IEEE, 2014. [doi]
Abstract is missing.