Title: Temporal Logic Vol. 2
Subjects: Logic, symbolic and mathematical, Computer logic, Machine theory, Temporal automata, Logique informatique, Automates