https://intlibrary.ir/download/verification,-model-checking,-and-abstract-interpr-44016-9545/