Title: Introduction to Practical Formal Methods Using Temporal Logic
Subjects: Logic, symbolic and mathematical