Analysis and Optimization of the HARQ-Based Spinal Coded Timely Status Update System | IEEE Journals & Magazine | IEEE Xplore