Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News. ACM, 1991.