@article {,
	title = {Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability},
	journal = {Nonlinear Analysis: Hybrid Systems},
	year = {2016},
	month = {05/2016},
	author = {A. Murthy and Md. A. Islam, and S. A. Smolka and R. Grosu}
}
