https://intlibrary.ir/download/formal-techniques-for-distributed-systems:-joint-1-96924/