An Analytic Approach for Modeling the Coverage Performance of Dense Satellite Networks | Synapse