https://intlibrary.ir/download/formal-methods-and-software-engineering:-6th-inter-74050/