https://bookem.ir/books/2170984-Formal-Methods-for-Industrial-Critical-Systems