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