Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2015). Runtime Verification with Minimal Intrusion Through Parallelism Formal Methods in System Design, 1-32. https://doi.org/10.1007/s10703-015-0226-3