Navabpour, S. ., Wu, C. W. W., Bonakdarpour, B. ., & Fischmeister, S. . (2011). Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification. Proc. Of the 2nd International Conference on Runtime Verification (RV), 208-222. San Francisco, USA. https://doi.org/10.1007/978-3-642-29860-8_16 (Original work published 2024)