«An Introduction to Practical Formal Methods Using Temporal Logic», benzeri kitaplar