https://bookem.ir/books/2140464-Verifying-Concurrent-Processes-Using-Temporal-Logic