A calculus of durations

Specifying real-time properties with metric temporal logic

Ron Koymans · Real-Time Systems · 1990 · 1.2K citations

Computing, Computer Systems, Formal Methods +12

Safety analysis of timing properties in real-time systems

Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1986 · 631 citations

Engineering, Computer Engineering, Computer Systems +14

A Temporal Logic for Multilevel Reasoning about Hardware

Moszkowski · Computer · 1985 · 329 citations

Engineering, Computer Engineering, Computer Science +12

A really abstract concurrent model and its temporal logic

Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1986 · 157 citations

Computing, Computer Science, Computer Systems +17