Nonlinear Stabilization: Control Contraction Metric Approach via Sum of Square Programming Technique | IEEE Conference Publication | IEEE Xplore