Local synchronous capacity allocation schemes for guaranteeing message deadlines with the timed token protocol | IEEE Conference Publication | IEEE Xplore