Explicit-clock temporal logic (1990)

by E Harel, O Lichtenstein, A Pnueli
Venue:5th IEEE LICS