A General Formal Method for Manifold Coverage Analysis of Satellite Constellations | IEEE Journals & Magazine | IEEE Xplore