https://bookem.ir/books/1198994-Formal-Methods-for-Embedded-Distributed-Systems