Murthy, A., Islam, M. A., Smolka, S. A., & Grosu, R. (2016). Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability. Nonlinear Analysis: Hybrid Systems. (Original work published 2016)
