Global Optimization of Compositional Systems | IEEE Conference Publication | IEEE Xplore