Diana Cukierman James P. Delgrande Towards a Formal Characterization of Temporal Repetition with Closed Time. 140-147 1998 conf/time/1998 TIME http://doi.ieeecomputersociety.org/10.1109/TIME.1998.674143 db/conf/time/time1998.html#CukiermanD98