Compositional Verification of Passivity for Cascade Interconnected Nonlinear Systems | IEEE Conference Publication | IEEE Xplore