Sorry, I don't have time right now to check these papers, but what you
are saying sounds correct.
This sounds correct a well. We assume that if a job of a task overruns
its current budget allocation (which will likely happen, provisioning
reservations on the average case), then the remainder of that job will
be executed using future allocations for the same task. The analysis
doesn't (I think) depend too much on the exact way reservations are