On the use of the IEEE 802.4 token bus in distributed real-time control systems | IEEE Journals & Magazine | IEEE Xplore