Thomas A. Henzinger, Zohar Manna, Amir Pnueli. What Good Are Digital Clocks?. In Werner Kuich, editor, Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Volume 623 of Lecture Notes in Computer Science, pages 545-558, Springer, 1992.