Capacity Bounds on Timing Channels with Bounded Service Times · Study