Optimal synchronous capacity allocation for hard real-time communications with the timed token protocol | IEEE Conference Publication | IEEE Xplore