Formal timing analysis of automatic repeat request for switched real-time networks | IEEE Conference Publication | IEEE Xplore