Applications of Temporal Logic to the Specification of Real-time Systems. - Amir Pnueli; Eyal Harel (FTRTFT, 1988)

Explicit Clock Temporal Logic - Eyal Harel; Orna Lichtenstein; Amir Pnueli (LICS, 1990)

The Cost of a True Random Bit - On the Electronic Cost Gain of ASIC Time-Domain-Based TRNGs. - Netanel Klein; Eyal Harel; Itamar Levi (Cryptogr., 2021)