Selection of token holding times in timed-token protocols | IEEE Journals & Magazine | IEEE Xplore