Satellite-aerial communication (SAC) is envisioned as a fundamental component of the sixth-generation (6G) wireless networks. Motivated by its importance, we investigate a SAC system including a geostationary satellite (S), a target aircraft (TA), and a set of interfering aircraft (IA). Specifically, TA sends signals to S in the presence of IA interference. Considering the trajectory, hierarchy, and safety distance of the aircraft's flight routes, we propose a novel three-dimensional stacked Poisson line hardcore point process. That is, we introduce safety distances to the stacked Poisson line Cox process in order to describe the locations of IA in the sky. We also propose two approximations, namely, the equi-dense model and the discretization model, to maintain the tractability of the analysis. To this end, the uplink coverage probability is studied by using the two proposed mathematical models. Moreover, we investigate the coverage probability of the aviation use case with predefined flight altitudes. Finally, numerical results and Monte Carlo simulations are presented to validate the accuracy of the proposed analysis. Index Terms-Satellite-aerial communications, stacked Poisson line Cox process, stacked Poisson line hardcore point process, Nakagami-m fading, coverage probability I. INTRODUCTION Satellite networks provide ubiquitous coverage, fast and flexible provisioning, diverse services, and reliable information transmission, which make them a backbone for modern digital societies. With the proliferation of unmanned aerial vehicles (UAV), flying cars, and other flying objects, satellite-aerial communication (SAC) is gaining considerable momentum from academic and industrial societies. In fact, satellites are envisioned to serve billions of terrestrial and flying devices worldwide to fulfill the ever-increasing demands of data acquisition and dissemination [1]-[6]. Being the heart of global economic growth [7], air transportation is a crucial use case of SAC. So far, many airlines across the world have been offering Manuscript