SMS versenden: Scheduling Mitigations to Protect Critical Infrastructure Under Resource Constraints