@booklet {,
	title = {From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday},
	year = {2019},
	author = {Bartocci, Ezio and Cleaveland, Rance and Grosu, Radu and Sokolsky, Oleg}
}
@conference {,
	title = {Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.},
	booktitle = {CMSB},
	year = {2016},
	publisher = {Springer},
	organization = {Springer},
	keywords = {dblp},
	isbn = {978-3-319-45176-3},
	url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html$\#$IslamBKCCFGJS16},
	author = {Islam, Md. Ariful and Byrne, Greg and Kong, Soonho and Clarke, Edmund M. and Cleaveland, Rance and Fenton, Flavio H. and Grosu, Radu and Jones, Paul L. and Smolka, Scott A.},
	editor = {Bartocci, Ezio and Li{\`o}, Pietro and Paoletti, Nicola}
}
@conference {21,
	title = {SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems},
	booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
	year = {2015},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	keywords = {networked dynamical systems, parameter synthesis, spatial temporal logic, statistical model checking},
	isbn = {978-1-4503-3433-4},
	doi = {10.1145/2728606.2728633},
	url = {http://doi.acm.org/10.1145/2728606.2728633},
	author = {Haghighi, Iman and Jones, Austin and Kong, Zhaodan and Bartocci, Ezio and Grosu, Radu and Belta, Calin}
}
