@article{4592, author = {Alur, Rajeev and Henzinger, Thomas A}, issn = {0163-5700}, journal = {SIGACT News}, number = {3}, pages = {6 -- 12}, publisher = {ACM}, title = {{Time for logic}}, volume = {22}, year = {1991}, }