Requirements for token holding times in timed-token protocols | IEEE Conference Publication | IEEE Xplore