An Accurate Model for Computation Offloading in 6G Networks and a HAPS-Based Case Study | IEEE Journals & Magazine | IEEE Xplore