ISDS small-gain theorem and construction of ISDS Lyapunov functions for interconnected systems