Explicit clock temporal logic (1990)

by Eyal Harel, Orna Lichtenstein, Amir Pnueli
Venue:In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science