Over-approximation of weakly-hard constraints for control systems verification (Extended). - Rieke de Maeyer; Holger Hermanns; Martina Maggio (CoRR, 2026)