3 works on record
Temporal Logics in Computer Science - Classical Theory
Automated Reasoning
Temporal Logics in Computer Science