Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. - BÚR, MÁRTON; MARUSSY, KRISTÓF; MEYER, BRETT H.; VARRÓ, DÁNIEL (ACM Transactions on Embedded Computing Systems, 2021)