Resource Minimization for Hybrid ARQ System with Real-Time Traffic in Time-Correlated Rayleigh Fading Channels.