Performance certification of interconnected systems using decomposition techniques | IEEE Conference Publication | IEEE Xplore