Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. - Hannes Kallwies; Martin Leucker; Meiko Prilop; Malte Schmitz 001 (TASE, 2022)