@article {,
	title = {An Algebraic Framework for Runtime Verification},
	journal = {CoRR},
	volume = {abs/1802.03775},
	year = {2018},
	url = {http://arxiv.org/abs/1802.03775},
	author = {Stefan Jaksic and Ezio Bartocci and Radu Grosu and Dejan Nickovic}
}
