Random Access Procedure Over Non-Terrestrial Networks: From Theory to Practice | IEEE Journals & Magazine | IEEE Xplore