Time for logic
R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.