@article{VLDB-2010-BotanDDHMT,
	author        = "Irina Botan and Roozbeh Derakhshan and Nihal Dindar and Laura M. Haas and Renée J. Miller and Nesime Tatbul",
	ee            = "http://www.comp.nus.edu.sg/~vldb2010/proceedings/files/papers/R20.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 1,
	pages         = "232--243",
	title         = "{SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems}",
	volume        = 3,
	year          = 2010,
}