Capacity Bounds on Timing Channels with Bounded Service Times | IEEE Conference Publication | IEEE Xplore