Properties of BuST and timed-token protocols in managing hard real-time traffic | IEEE Conference Publication | IEEE Xplore