Guaranteeing synchronous message deadlines with the timed token protocol | IEEE Conference Publication | IEEE Xplore