MITL Verification Under Timing Uncertainty