T.A.: The benefits of relaxing punctuality (1996)

by R Alur, T Feder, Henzinger
Venue:J. ACM