https://intlibrary.ir/download/computer-aided-verification:-19th-international-co-42656/