Temporal specifications with accumulative values (2011)

by U Boker, K Chatterjee, T A Henzinger, O Kupferman
Venue:In LICS