Pnueli A: Explicit clock temporal logic (1990)

by E Harel, O Lichtenstein
Venue:Proc 5th IEEE Syrup on Logic in Computer Science