1962
2 works on record
Handbook of temporal reasoning in artificial intelligence
Practical Formal Methods Using Temporal Logic