TRAPS - a time dependent resource allocation language Academic Article uri icon