Testing Deadline Misses for Real-Time Systems using Constraint Optimization Techniques