Upper bounds for the token rotation time in the 802.4 token passing bus | IEEE Conference Publication | IEEE Xplore