https://intlibrary.ir/download/development,-implementation-and-verification-of-dy-22188/