Age-Optimal Transmission Policy With HARQ for Freshness-Critical Vehicular Status Updates in Space–Air–Ground-Integrated Networks | IEEE Journals & Magazine | IEEE Xplore