TRAPS-A Time Dependent Resource Allocation Language Academic Article uri icon