Layering As Optimization Decomposition: Framework and Examples | IEEE Conference Publication | IEEE Xplore