Symmetry Reduction for Performance Certification of Interconnected Systems | IEEE Journals & Magazine | IEEE Xplore