https://intlibrary.ir/download/leveraging-applications-of-formal-methods,-verific-39150/