Time Characteristics of the IEEE 802.4 Token Bus Protocol