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