@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}
}
