Cumulative-Time Signal Temporal Logic. - Chen, Hongkai; Zhang, Zeyu; Roy, Shouvik; Bartocci, Ezio; Smolka, Scott A.; Stoller, Scott; Lin, Shan (ACM Transactions on Embedded Computing Systems, 2025)