Jaksic, S., Bartocci, E., Grosu, R., & Nickovic, D. (2018). An Algebraic Framework for Runtime Verification. CoRR, abs/1802.03775. Retrieved from http://arxiv.org/abs/1802.03775
