[Publication] Our paper titled “Cumulative-time Signal Temporal Logic” is accepted to EMSOFT’25.