Performance certification of interconnected nonlinear systems using ADMM | IEEE Conference Publication | IEEE Xplore