@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}
}
@article {,
	title = {Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation},
	journal = {Theoretical Computer Science},
	volume = {599C},
	year = {2015},
	month = {09/2015},
	chapter = {34},
	author = {Md. A. Islam and A. Murthy and E. Bartocci and E. M. Cherry and F. H. Fenton and J. Glimm and S. A. Smolka and R. Grosu}
}
