https://intlibrary.ir/download/formal-methods-for-open-object-based-distributed-s-33748-5067/