Text this: Cumulative-Time Signal Temporal Logic.