Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques | IEEE Conference Publication | IEEE Xplore