Murthy, A., Islam, Md. A., Smolka, S. A., & Grosu, R. (2017). Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability. Nonlinear Analysis: Hybrid Systems, 23, 272–286. https://doi.org/10.1016/j.nahs.2016.03.008