https://bookem.ir/books/2688949-Reasoning-in-Event-Based-Distributed-Systems