A calculus of durations

Barringer, 1986, A really abstract concurrent model and its temporal logic, Proc. 13th ACM Symp. on the Principles of Programming Languages, 173

Brien, 1990, A relational calculus of intervals

Schneider, 1990, Correctness and communication of real-time systems

Hale, 1988, Programming in temporal logic

J. Hooman and J. Widom, A temporal-logic based compositional proof system for real-time message passing, in: PARLE '89, Lecture Notes in Computer Science 366 (Springer, Berlin).

Jahanian, 1986, Safety analysis of timing properties in real-time systems, IEEE Trans. Software Eng., 12, 890, 10.1109/TSE.1986.6313045

He, 1991, Specification-oriented semantics for ProCos programming language PLtime, ProCos Tech. Rept. PRG/OU HJF7, ESPRIT BRA 3104

Koymans, 1990, Specifying real-time properties with metric temporal logic, 2

Moszkowski, 1985, A temporal logic for multi-level reasoning about hardware, IEEE Comput., 18, 10, 10.1109/MC.1985.1662795

Pnueli, 1988, Applications of temporal logic to the specification of real time systems, 331, 84, 10.1007/3-540-50302-1_4

Ravn, 1991, Requirements capture for embedded real-time systems, Vol. 2, 147

Reed, 1987, Metric spaces as models for real-time concurrency, 298, 331

Sørensen, 1990, Control program for a gas burner: Part 1: Informal requirements, Tech. Rept. ID/DTH EVS2, ESPRIT BRA 3104

Sørensen, 1989, On the specification of dependability requirements involving time integration, ProCos Working Paper

Chaochen, 1991, A note on completeness of the Duration Calculus