Supporting Stress Testing in Real-Time Systems with Constraint Programming