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