Logics for timed resource control
As time can be a resource, it is a bit unclear to me what you seek.

Nevertheless, you might want to look at weighted extensions of LTL, like Metric Temporal Logic first defined here. (Specifying real-time properties with metric temporal logic)