Backlog and Delay Reasoning in HARQ System | IEEE Conference Publication | IEEE Xplore