Paper Recommendation
1979 The Temporal Semantics of Concurrent Programs

1986 A Logic-based Calculus of Events

1992 Symbolic Model Checking: 1020 States and Beyond

1983 What Good Is Temporal Logic?

1983 Maintaining Knowledge About Temporal intervals

1990 Symbolic Model Checking: 10 20 States and Beyond

1994 Actions and Events in interval Temporal Logic

1995 Simple on-the-fly Automatic Verification of Linear Temporal Logic

1981 Temporal Logic Specification of Distributed Systems

1994 Reasoning About infinite Computations

1981 Temporal Logic Can Be More Expressive

1982 A Temporal Logic For Reasoning About Processes and Plans*

1982 Verifying Concurrent Processes Using Temporal Logic

1982 Hardware Specification With Temporal Logic: An Example

1998 Face Recognition Using Temporal Image Sequence

1994 Combining Partial Order Reductions With on-the-fly Model-Checking

1982 A Temporal Logic For Multi-Level Reasoning About Hardware,

1989 Temporal Logic For Real Time Systems

1995 Probabilistic Simulations For Probabilistic Processes

2004 A Model For Organizational interaction: Based on Agents, Founded in Logic