Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach.