Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.