Instrumenting Runtime Enforcement. - François Hublet; David A. Basin; Linda Hu; Srdan Krstic; Lennard Reese (RV, 2025)