MIP Formulation for Robust Resource Allocation in Dynamic Real-Time Systems